| Document Date: 2013-03-13 12:33:24 Open Document File Size: 1,36 MBShare Result on Facebook
City Sophia Antipolis Cedex / Los Alamitos / Berlin / New York / Paris / / Company ACM Press / Microsoft / S&P / / Event FDA Phase / / Organization Organization of the Dissertation / IEEE Computer Society / INRIA MINES ParisTech Centre / / Person Federico Olmedo / Yassine Lakhnech / Benjamin Grégoire / Santiago José / Coq / Gilles Barthe / Daniel Hedin / Sylvain Heraud / Joseph Fourier / / Position general-purpose proof assistant / l’assistant / / Product CCA2 / / ProvinceOrState California / New York / / PublishedMedium Lecture Notes in Computer Science / / Technology Encryption / 7.3 Sigma Protocols / Zero-Knowledge Protocols / digital signature / 7.1 Sigma-Protocols / ElGamal encryption / Sigma-Phi Protocols / 7.2 Sigma Protocols / /
SocialTag |