PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dupressoir, François"

Author of the publication

copydeleteadd this publication to your clipboard
A Fast and Verified Software Stack for Secure Function Evaluation.

, , , , , , and . ACM Conference on Computer and Communications Security, page 1989-2006. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Davi Francois University of Stuttgart

 

Other publications of authors with the same name

Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations., , , , , , and . IACR Cryptology ePrint Archive, (2018)Guiding a general-purpose C verifier to prove cryptographic protocols., , , and . J. Comput. Secur., 22 (5): 823-866 (2014)EasyCrypt: A Tutorial., , , , , and . FOSAD, volume 8604 of Lecture Notes in Computer Science, page 146-166. Springer, (2013)Making RSA-PSS Provably Secure against Non-random Faults., , , , , and . CHES, volume 8731 of Lecture Notes in Computer Science, page 206-222. Springer, (2014)Verified Proofs of Higher-Order Masking., , , , , and . EUROCRYPT (1), volume 9056 of Lecture Notes in Computer Science, page 457-485. Springer, (2015)VMV: Augmenting an Internet Voting System with Selene Verifiability., , , , , , , , and . CoRR, (2019)Proving cryptographic C programs secure with general-purpose verification tools.. Open University, Milton Keynes, UK, (2013)British Library, EThOS.Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler., , , , and . IACR Cryptology ePrint Archive, (2015)Formal Security Proof of CMAC and Its Variants., , , and . CSF, page 91-104. IEEE Computer Society, (2018)Strong Non-Interference and Type-Directed Higher-Order Masking., , , , , , and . ACM Conference on Computer and Communications Security, page 116-129. ACM, (2016)