Federico Olmedo
发表
Gilles Barthe,
Federico Olmedo,
G. Barthe,
2013,
ICALP.
Gilles Barthe,
Santiago Zanella Béguelin,
Federico Olmedo,
2011,
ProvSec.
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
David Darais,
Chike Abuah,
Federico Olmedo,
2020,
ArXiv.
Gilles Barthe,
Santiago Zanella Béguelin,
Federico Olmedo,
2012,
POPL '12.
Nils Jansen,
Joost-Pieter Katoen,
Federico Olmedo,
2015
.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2009,
2009 30th IEEE Symposium on Security and Privacy.
Gilles Barthe,
Santiago Zanella Béguelin,
Federico Olmedo,
2012,
TOPL.
Joost-Pieter Katoen,
Federico Olmedo,
Christoph Matheja,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Nils Jansen,
Joost-Pieter Katoen,
Federico Olmedo,
2015,
Correct System Design.
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2013,
J. Comput. Secur..
Benjamin Grégoire,
Gilles Barthe,
Santiago Zanella Béguelin,
2012,
POST.
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Éric Tanter,
Federico Olmedo,
Tomás Díaz,
2020,
CPP.
Joost-Pieter Katoen,
Federico Olmedo,
Christoph Matheja,
2016,
ESOP.
Federico Olmedo,
Boris Köpf,
Santiago Zanella-Béguelin,
2012
.
Alejandro D'iaz-Caro,
Federico Olmedo,
2019,
ArXiv.
Joost-Pieter Katoen,
Federico Olmedo,
Christoph Matheja,
2018,
J. ACM.