56 search results - page 3 / 12 » Cryptographically verified implementations for TLS |
EUROPKI
2005
Springer
13 years 11 months ago
2005
Springer
Credentials like passwords or cryptographic key pairs are a means to prove one’s identity to a web server. A practical problem in this context is the question of how a user can t...
COCO
2007
Springer
13 years 9 months ago
2007
Springer
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
EUROCRYPT
1995
Springer
13 years 9 months ago
1995
Springer
Abstract. We introduce Verifiable Signature Sharing (VCS), a cryptographic primitive for protecting digital signatures. VCS enables the holder of a digitally signed document, who m...
ESOP
2009
Springer
13 years 9 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
CCS
2010
ACM
14 years 18 days ago
2010
ACM
Even though role-based access control (RBAC) can tremendously help us minimize the complexity in administering users, it is still needed to realize the notion of roles at the reso...