56 search results - page 3 / 12 » Cryptographically verified implementations for TLS |
EUROPKI
2005
Springer
15 years 3 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...
81
Voted
COCO
2007
Springer
15 years 1 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...
74
Voted
EUROCRYPT
1995
Springer
15 years 1 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
15 years 1 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
15 years 4 months 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...