Aymeric Fromherz

13
Documents

Publications

Publications

Image document

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Raphaël Monat , Aymeric Fromherz , Denis Merigoux
ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg City, Luxembourg. pp.421-450, ⟨10.1007/978-3-031-57267-8_16⟩
Communication dans un congrès hal-04536403 v1
Image document

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores

Arvind Arasu , Tahina Ramananandro , Aseem Rastogi , Nikhil Swamy , Aymeric Fromherz et al.
CPP '23 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston (MA), United States. pp.30-46, ⟨10.1145/3573105.3575687⟩
Communication dans un congrès hal-04104143 v1
Image document

Turning Catala into a Proof Platform for the Law

Alain Delaët , Denis Merigoux , Aymeric Fromherz
Workshop on Programming Languages and the Law (ProLaLa), 2022, Jan 2022, Philadelphia, United States
Communication dans un congrès hal-03447072 v1
Image document

Démonstration de Steel, une logique de séparation concurrente pour prouver des programmes F* (démonstration)

Aymeric Fromherz , Antonin Reitz
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.269-271
Communication dans un congrès hal-03626859 v1

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)

Marina Polubelova , Karthikeyan Bhargavan , Jonathan Protzenko , Benjamin Beurdouche , Aymeric Fromherz et al.
CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Nov 2020, Virtual Event, United States
Communication dans un congrès hal-03154275 v1

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Jonathan Protzenko , Bryan Parno , Aymeric Fromherz , Chris Hawblitzel , Marina Polubelova et al.
SP 2020 - IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.983-1002, ⟨10.1109/SP40000.2020.00114⟩
Communication dans un congrès hal-03154278 v1
Image document

Static Value Analysis of Python Programs by Abstract Interpretation

Aymeric Fromherz , Abdelraouf Ouadjaout , Antoine Miné
NFM 2018 - 10th International Symposium NASA Formal Methods, Apr 2018, Newport News, VA, United States. pp.185-202, ⟨10.1007/978-3-319-77935-5_14⟩
Communication dans un congrès hal-01782390 v1