286 search results - page 38 / 58 » Pitfalls in Formal Reasoning about Security Protocols |
121
Voted
HOST
2011
IEEE
13 years 9 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
121
Voted
IMA
2005
Springer
15 years 3 months ago
2005
Springer
In recent years cryptographic protocols based on the Weil and Tate pairings on elliptic curves have attracted much attention. A notable success in this area was the elegant solutio...
75
Voted
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
OOPSLA
2004
Springer
15 years 2 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
121
click to vote
PKC
2010
Springer
14 years 11 months ago
2010
Springer
Encrypt-and-sign, where one encrypts and signs a message in parallel, is usually not recommended for confidential message transmission. The reason is that the signature typically l...