Artykuły udostępnione publicznie: - Cédric FournetWięcej informacji
Dostępne w jakimś miejscu: 11
A messy state of the union: Taming the composite state machines of TLS
B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
Communications of the ACM 60 (2), 99-107, 2017
Upoważnienia: European Commission
Square span programs with applications to succinct NIZK arguments
G Danezis, C Fournet, J Groth, M Kohlweiss
International Conference on the Theory and Application of Cryptology and …, 2014
Upoważnienia: UK Engineering and Physical Sciences Research Council, European Commission
Evercrypt: A fast, verified, cross-platform cryptographic provider
J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ...
2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 2020
Upoważnienia: US Department of Defense, European Commission
Hash first, argue later: Adaptive verifiable computations on outsourced data
D Fiore, C Fournet, E Ghosh, M Kohlweiss, O Ohrimenko, B Parno
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
Upoważnienia: US National Science Foundation, European Commission, Government of Spain
Downgrade resilience in key-exchange protocols
K Bhargavan, C Brzuska, C Fournet, M Green, M Kohlweiss, ...
2016 IEEE Symposium on Security and Privacy (SP), 506-525, 2016
Upoważnienia: US National Science Foundation
Implementing and proving the TLS 1.3 record layer
K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, J Pan, ...
SP 2017-38th IEEE Symposium on Security and Privacy, 463-482, 2017
Upoważnienia: European Commission
State separation for code-based game-playing proofs
C Brzuska, A Delignat-Lavaud, C Fournet, K Kohbrok, M Kohlweiss
Advances in Cryptology–ASIACRYPT 2018: 24th International Conference on the …, 2018
Upoważnienia: European Commission
A security model and fully verified implementation for the IETF QUIC record layer
A Delignat-Lavaud, C Fournet, B Parno, J Protzenko, T Ramananandro, ...
2021 IEEE Symposium on Security and Privacy (SP), 1162-1178, 2021
Upoważnienia: US National Science Foundation, US Department of Defense
Recalling a witness: foundations and applications of monotonic state
D Ahman, C Fournet, C Hriţcu, K Maillard, A Rastogi, N Swamy
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
Upoważnienia: European Commission
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations
N Grimm, K Maillard, C Fournet, C Hriţcu, M Maffei, J Protzenko, ...
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
Upoważnienia: European Commission
Speculation at fault: Modeling and testing microarchitectural leakage of {CPU} exceptions
J Hofmann, E Vannacci, C Fournet, B Köpf, O Oleksenko
32nd USENIX Security Symposium (USENIX Security 23), 7143-7160, 2023
Upoważnienia: Netherlands Organisation for Scientific Research
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy