Aymeric Fromherz

发表

Bryan Parno, Ravi Mangal, C. Pasareanu, 2021, NSV/FoMLAS@CAV.

Nikhil Swamy, Chris Hawblitzel, Cédric Fournet, 2020, 2020 IEEE Symposium on Security and Privacy (SP).

Nikhil Swamy, Chris Hawblitzel, Bryan Parno, 2019, Proc. ACM Program. Lang..

Corina S. Pasareanu, Bryan Parno, Matt Fredrikson, 2020, ICLR.

Karthikeyan Bhargavan, Santiago Zanella Béguelin, Aymeric Fromherz, 2020, CCS.

Bryan Parno, Aseem Rastogi, N. Swamy, 2023, Certified Programs and Proofs.

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, 2020, Proc. ACM Program. Lang..

Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, 2021, Proc. ACM Program. Lang..

Antoine Miné, Aymeric Fromherz, Abdelraouf Ouadjaout, 2018, NFM.

Corina S. Pasareanu, Willem Visser, Aymeric Fromherz, 2019, TACAS.

W. Visser, C. Pasareanu, X. Le, 2019 .

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

Karthikeyan Bhargavan, Jonathan Protzenko, Santiago Zanella Béguelin, 2020, IACR Cryptol. ePrint Arch..

Corina S. Pasareanu, Bryan Parno, Matt Fredrikson, 2021, ArXiv.