Research output per year
Research output per year
Search results
-
2019
Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations
Barthe, G., Belaïd, S., Dupressoir, F., Fouque, P.-A., Grégoire, B., Standaert, F.-X. & Strub, P.-Y., 2019, In: Journal of Cryptographic Engineering.Research output: Contribution to journal › Article (Academic Journal) › peer-review
8 Citations (Scopus) -
2014
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
Dupressoir, F., Gordon, A. D., Jürjens, J. & Naumann, D. A., 11 Jul 2014, In: Journal of Computer Security. p. 823-866 44 p.Research output: Contribution to journal › Article (Academic Journal) › peer-review
15 Citations (Scopus)