by Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil
Published in Proceedings of ACM on programming languages (01.09.2017)

by Barthe, Gilles, Grégoire, Benjamin, Zanella Béguelin, Santiago
Published in Static Analysis

by Barthe, Gilles, Hedin, Daniel, Béguelin, Santiago Zanella, Grégoire, B, Heraud, Sylvain
Published in 2010 23rd IEEE Computer Security Foundations Symposium (01.07.2010)

by Protzenko, Jonathan, Parno, Bryan, Fromherz, Aymeric, Hawblitzel, Chris, Polubelova, Marina, Bhargavan, Karthikeyan, Beurdouche, Benjamin, Choi, Joonwon, Delignat-Lavaud, Antoine, Fournet, Cedric, Kulatova, Natalia, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Wintersteiger, Christoph M., Zanella-Beguelin, Santiago
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)

by Barthe, Gilles, Grégoire, Benjamin, Zanella Béguelin, Santiago
Published in Interactive Theorem Proving

by Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Protzenko, Jonathan, Rastogi, Aseem, Swamy, Nikhil, Zanella-Beguelin, Santiago, Bhargavan, Karthikeyan, Jianyang Pan, Zinzindohoue, Jean Karim
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)

by Barthe, Gilles, Grégoire, Benjamin, Zanella Béguelin, Santiago
Published in Mathematics of Program Construction

by Barthe, Gilles, Crespo, Juan Manuel, Grégoire, Benjamin, Kunz, César, Zanella Béguelin, Santiago
Published in Interactive Theorem Proving

by Lukas, Nils, Salem, Ahmed, Sim, Robert, Tople, Shruti, Wutschitz, Lukas, Zanella-Beguelin, Santiago
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)

by ZANELLA BEGUELIN, Santiago
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2006)

by Barthe, Gilles, Grégoire, Benjamin, Heraud, Sylvain, Olmedo, Federico, Zanella Béguelin, Santiago
Published in Principles of Security and Trust

by Salem, Ahmed, Cherubin, Giovanni, Evans, David, Kopf, Boris, Paverd, Andrew, Suri, Anshuman, Tople, Shruti, Zanella-Beguelin, Santiago
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)

by Zanella-Beguelin, S., Barthe, G., Gregoire, B., Olmedo, F.
Published in 2009 30th IEEE Symposium on Security and Privacy (01.05.2009)

by Bhargavan, Karthikeyan, Brzuska, Christina, Fournet, Cedric, Green, Matthew, Kohlweiss, Markulf, Zanella-Beguelin, Santiago
Published in 2016 IEEE Symposium on Security and Privacy (SP) (01.05.2016)

by Barthe, Gilles, Olmedo, Federico, Béguelin, Santiago Zanella
Published in Provable Security

by Barthe, Gilles, Grégoire, Benjamin, Heraud, Sylvain, Olmedo, Federico, Zanella-Béguelin, Santiago
Published in Journal of computer security (01.01.2013)

by Backes, M., Barthe, G., Berg, M., Gregoire, B., Kunz, C., Skoruppa, M., Beguelin, S. Z.
Published in 2012 IEEE 25th Computer Security Foundations Symposium (01.06.2012)

by Barthe, Gilles, Danezis, George, Gregoire, Benjamin, Kunz, Cesar, Zanella-Beguelin, Santiago
Published in 2013 IEEE 26th Computer Security Foundations Symposium (01.06.2013)

by BARTHE, Gilles, GRÉGOIRE, Benjamin, HERAUD, Sylvain, OLMEDO, Federico, ZANELLA-BÉGUELIN, Santiago
Published in Journal of computer security (2013)

by Cherubin, Giovanni, Köpf, Boris, Paverd, Andrew, Tople, Shruti, Wutschitz, Lukas, Zanella-Béguelin, Santiago
Year of Publication 22.02.2024