Aymeric Fromherz

13
Documents

Publications

Publications

Deposit thumbnail

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-04536403v1
Deposit thumbnail

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-04104143v1
Deposit thumbnail

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-03447072v1
Deposit thumbnail

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-03626859v1

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-03154275v1

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-03154278v1
Deposit thumbnail

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-01782390v1