Aymeric Fromherz
发表
Corina S. Pasareanu,
Aymeric Fromherz,
Kasper Søe Luckow,
2017,
SOEN.
Corina S. Pasareanu,
Willem Visser,
Aymeric Fromherz,
2019,
TACAS.
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2020
.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020,
Proc. ACM Program. Lang..
Antoine Miné,
Aymeric Fromherz,
Abdelraouf Ouadjaout,
2018,
NFM.
Corina S. Pasareanu,
Bryan Parno,
Matt Fredrikson,
2020,
ICLR.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020
.
Nikhil Swamy,
Chris Hawblitzel,
Bryan Parno,
2019,
Proc. ACM Program. Lang..
Karthikeyan Bhargavan,
Jonathan Protzenko,
Santiago Zanella Béguelin,
2020,
IACR Cryptol. ePrint Arch..
Nikhil Swamy,
Chris Hawblitzel,
Cédric Fournet,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Karthikeyan Bhargavan,
Santiago Zanella Béguelin,
Aymeric Fromherz,
2020,
CCS.
Corina S. Pasareanu,
Bryan Parno,
Matt Fredrikson,
2021,
ArXiv.
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Artifact Digital Object Group.
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Proc. ACM Program. Lang..