Computer-aided cryptographic proofs

Authors:
Gilles Barthe
Affiliations:
IMDEA Software Institute
Venue:
POST'13 Proceedings of the Second international conference on Principles of Security and Trust
Year:
2013

Citing 2
Cited 0

Formal certification of code-based cryptographic proofs

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computer-aided security proofs for the working cryptographer

CRYPTO'11 Proceedings of the 31st annual conference on Advances in cryptology

Quantified Score

Hi-index	0.00

Visualization

Abstract