Santiago Zanella Béguelin,
Grégoire, and Daniel Hedin. A machine-checked formalization of
sigma-protocols. In Computer Security Foundations Symposium,
CSF 2010, Edinburgh, Scotland, July 17-19, 2010, Proceedings.
Grégoire, and Santiago
Zanella. Programming language techniques for cryptographic
proofs. In Interactive Theorem Proving, international
Conference, ITP 2010, Edinburgh, Scotland, July 11-14, 2010,
Proceedings, Lecture Notes in Computer Science. Springer,
Judicaël Courant, Marion
Ene, Pascal Lafourcade, and Yassine Lakhnech.
Towards automated proofs for asymmetric encryption schemes in the
random oracle model. In Proceedings of the 2008 ACM Conference
on Computer and Communications Security, CCS 2008, Alexandria,
Virginia, USA, October 27-31, 2008, pages 371–380. ACM,
Mathilde Duclos, and Yassine Lakhnech.
Certified security proofs of cryptographic protocols in the
computational model: An application to intrusion resilience. In
CPP, pages 378–393, 2011.
Judicaël Courant, Cristian Ene, and Yassine Lakhnech.
Computationally sound typing for non-interference: The case of
deterministic encryption. In FSTTCS 2007: Foundations of
Software Technology and Theoretical Computer Science, 27th
International Conference, New Delhi, India, December 12-14, 2007,
Proceedings, volume 4855 of Lecture Notes in Computer
Science, pages 364–375, 2007.
Dennis Dams, Ulrich Hannemann, and
Martin Steffen, editors. Concurrency, Compositionality, and
Correctness, Essays in Honor of Willem-Paul de Roever, volume
5930 of Lecture Notes in Computer Science. Springer,
Jérémie Tharaud, Sven Wohlgemuth,
Isao Echizen, Noboru Sonehara, Günter Müller, and Pascal
Lafourcade. Privacy by data provenance with digital watermarking -
a proof-of-concept implementation for medical services with
electronic health records. In IIH-MSP, 2010.