×

Found 2 Documents (Results 1–2)

Ideal key derivation and encryption in simulation-based security. (English) Zbl 1284.94085

Kiayias, Aggelos (ed.), Topics in cryptology – CT-RSA 2011. The cryptographers’ track at the RSA conference 2011, San Francisco, CA, USA, February 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19073-5/pbk). Lecture Notes in Computer Science 6558, 161-179 (2011).
MSC:  94A60 68P25
Full Text: DOI

Formal certification of code-based cryptographic proofs. (English) Zbl 1315.68081

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 90-101 (2009).
MSC:  68N30 03B70 68T15 94A60
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software