Aymeric Fromherz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Charon: An Analysis Framework for Rust. | Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko |
| 2025 | ESOP | CUTECat: Concolic Execution for Computational Law. | Pierre Goutagny, Aymeric Fromherz, Raphal Monat |
| 2024 | ESOP | Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. | Raphal Monat, Aymeric Fromherz, Denis Merigoux |
| 2023 | CPP | FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores. | Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy |
| 2022 | CAV | Self-correcting Neural Networks for Safe Classification. | Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
| 2021 | ICLR | Fast Geometric Projections for Local Robustness Certification. | Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
| 2020 | CCS | HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms). | Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Bguelin |
| 2020 | SP | EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. | Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2019 | TACAS | Symbolic Pathfinder for SV-COMP - (Competition Contribution). | Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser |