Obserwuj
Gilles Barthe
Gilles Barthe
MPI-SP and IMDEA Software Institute
Zweryfikowany adres z mpi-sp.org - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Secure information flow by self-composition
G Barthe, P D'Argenio, T Rezk
17th IEEE Computer Security Foundations Workshop, 2004, 100-114, 2004
618*2004
Formal certification of code-based cryptographic proofs
G Barthe, B Grégoire, S Zanella Béguelin
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009
4122009
Privacy profiles and amplification by subsampling
B Balle, G Barthe, M Gaboardi
Journal of Privacy and Confidentiality 10 (1), 2020
360*2020
Computer-aided security proofs for the working cryptographer
G Barthe, B Grégoire, S Heraud, SZ Béguelin
Annual Cryptology Conference, 71-90, 2011
3562011
Verifying Constant-Time Implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi
25th USENIX Security Symposium (USENIX Security 16), 53-70, 2016
3172016
Model-agnostic counterfactual explanations for consequential decisions
AH Karimi, G Barthe, B Balle, I Valera
International conference on artificial intelligence and statistics, 895-905, 2020
3112020
Strong non-interference and type-directed higher-order masking
G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub, ...
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
281*2016
Probabilistic relational reasoning for differential privacy
G Barthe, B Köpf, F Olmedo, S Zanella Beguelin
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
2752012
Relational verification using product programs
G Barthe, JM Crespo, C Kunz
International Symposium on Formal Methods, 200-214, 2011
2702011
A survey of algorithmic recourse: contrastive explanations and consequential recommendations
AH Karimi, G Barthe, B Schölkopf, I Valera
ACM Computing Surveys 55 (5), 1-29, 2022
254*2022
Easycrypt: A tutorial
G Barthe, F Dupressoir, B Grégoire, C Kunz, B Schmidt, PY Strub
International School on Foundations of Security Analysis and Design, 146-166, 2012
1982012
Verified proofs of higher-order masking
G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub
Annual International Conference on the Theory and Applications of …, 2015
1932015
System-level non-interference for constant-time cryptography
G Barthe, G Betarte, J Campo, C Luna, D Pichardie
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
1712014
Jasmin: High-assurance and high-speed cryptography
JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ...
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
1692017
Parallel implementations of masking schemes and the bounded moment leakage model
G Barthe, F Dupressoir, S Faust, B Grégoire, FX Standaert, PY Strub
Advances in Cryptology–EUROCRYPT 2017: 36th Annual International Conference …, 2017
1612017
A certified lightweight non-interference Java bytecode verifier
G Barthe, D Pichardie, T Rezk
Mathematical Structures in Computer Science 23 (5), 1032-1081, 2013
156*2013
SoK: Computer-aided cryptography
M Barbosa, G Barthe, K Bhargavan, B Blanchet, C Cremers, K Liao, ...
2021 IEEE symposium on security and privacy (SP), 777-795, 2021
1552021
Type-based termination of recursive definitions
G Barthe, MJ Frade, E Giménez, L Pinto, T Uustalu
Mathematical structures in computer science 14 (1), 97-141, 2004
1412004
Probabilistic relational verification for cryptographic implementations
G Barthe, C Fournet, B Grégoire, PY Strub, N Swamy, S Zanella-Béguelin
ACM SIGPLAN Notices 49 (1), 193-205, 2014
1332014
Setoids in type theory
G Barthe, V Capretta, O Pons
Journal of Functional Programming 13 (2), 261-293, 2003
1282003
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20