659 search results - page 32 / 132 » Compiling and securing cryptographic protocols |
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
104
click to vote
IDTRUST
2009
ACM
15 years 7 months ago
2009
ACM
Public key cryptography is widely used to secure transactions over the Internet. However, advances in quantum computers threaten to undermine the security assumptions upon which c...
PACT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
95
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
69
Voted
AICCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. Op...