Aymeric Fromherz

According to our database, Aymeric Fromherz authored at least 18 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator.

Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko

CoRR, 2024

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.

Raphaël Monat, Aymeric Fromherz, Denis Merigoux

Proceedings of the Programming Languages and Systems, 2024

2023

Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification.

Son Ho, Aymeric Fromherz, Jonathan Protzenko

Proc. ACM Program. Lang., August, 2023

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

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

A Proof-Oriented Approach to Low-Level, High-Assurance Programming.

Aymeric Fromherz

PhD thesis, 2022

Self-correcting Neural Networks for Safe Classification.

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Steel: proof-oriented programming in a dependently typed concurrent separation logic.

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro

Proc. ACM Program. Lang., 2021

Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair.

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

CoRR, 2021

Fast Geometric Projections for Local Robustness Certification.

Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez

Proc. ACM Program. Lang., 2020

HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms).

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2020

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, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

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

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

A verified, efficient embedding of a verifiable assembly language.

Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy

Proc. ACM Program. Lang., 2019

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, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2019

Symbolic Pathfinder for SV-COMP - (Competition Contribution).

Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Static Value Analysis of Python Programs by Abstract Interpretation.

Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2016

Symbolic Arrays in Symbolic PathFinder.

Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2016