Research output per year
Research output per year
Search results
-
2020
Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem
Dupressoir, F. & Zain, S., 8 Dec 2020, (Accepted/In press) IEEE Computer Security Foundations Symposium. Küsters, R. & Naumann, D. A. (eds.). Institute of Electrical and Electronics Engineers (IEEE)Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
-
2019
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and secure high-assurance implementations of SHA-3
Bacelar Almeida, J., Barbosa, M., Baritel-Ruet, C., Barthe, G., Dupressoir, F., Grégoire, B., Laporte, V., Oliveira, T., Strub, P.-Y. & Stoughton, A., 15 Nov 2019, CCS'19: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 1607-1622 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile22 Citations (Scopus)206 Downloads (Pure) -
2018
Machine-checked proofs for electronic voting: Privacy and verifiability for belenios
Cortier, V., Dragan, C. C., Dupressoir, F. & Warinschi, B., Sept 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF 2018): Proceedings of a meeting held 9-12 July 2018, Oxford, United Kingdom. Institute of Electrical and Electronics Engineers (IEEE), p. 298-312 15 p. 8429313Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
22 Citations (Scopus) -
2017
Machine-Checked Proofs of Privacy for Electronic Voting Protocols
Cortier, V., Dragan, C. C., Dupressoir, F., Schmidt, B., Strub, P.-Y. & Warinschi, B., Jul 2017, 2017 IEEE 38th IEEE Symposium on Security and Privacy (SP 2017): Proceedings of a meeting held 22-26 May 2017, San Jose, California, USA. Institute of Electrical and Electronics Engineers (IEEE), p. 993-1008 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile30 Citations (Scopus)467 Downloads (Pure) -
2016
Strong Non-Interference and Type-Directed Higher-Order Masking
Barthe, G., Belaïd, S., Dupressoir, F., Fouque, P.-A., Grégoire, B., Strub, P.-Y. & Zucchini, R., 1 Oct 2016, 23rd ACM Conference on Computer and Communications Security. Association for Computing Machinery (ACM), Vol. October 2016. p. 116-129 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
186 Citations (Scopus) -
Verifying Constant-Time Implementations
Bacelar Almeida, J., Barbosa, M., Barthe, G., Dupressoir, F. & Emmi, M., 10 Aug 2016, SEC'16 25th USENIX Security Symposium. USENIX Association, Vol. August 2016. p. 53-70 19 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
193 Citations (Scopus) -
2011
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
Dupressoir, F., Gordon, A. D., Jürjens, J. & Naumann, D. A., 11 Aug 2011, Proceedings of the 2011 IEEE 24th Computer Security Foundations Symposium (CSF). 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
30 Citations (Scopus)