285 search results - page 34 / 57 » Computationally Sound, Automated Proofs for Security Protoco... |
159
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...
183
Voted
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
154
click to vote
COMPSAC
2009
IEEE
16 years 11 days ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
161
click to vote
TPHOL
2007
IEEE
15 years 12 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
182
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...