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 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 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 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, Grégoire, Benjamin, Heraud, Sylvain, Olmedo, Federico, Zanella-Béguelin, Santiago
Published in Journal of computer security (01.01.2013)

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 Barthe, Gilles, Danezis, George, Gregoire, Benjamin, Kunz, Cesar, Zanella-Beguelin, Santiago
Published in 2013 IEEE 26th Computer Security Foundations Symposium (01.06.2013)

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 ZANELLA BEGUELIN, Santiago
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2006)

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

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

by Tobaben, Marlon, Shysheya, Aliaksandra, Bronskill, John, Paverd, Andrew, Tople, Shruti, Zanella-Beguelin, Santiago, Turner, Richard E, Honkela, Antti
Year of Publication 02.02.2023

by Debenedetti, Edoardo, Rando, Javier, Paleka, Daniel, Florin, Silaghi Fineas, Albastroiu, Dragos, Cohen, Niv, Lemberg, Yuval, Ghosh, Reshmi, Wen, Rui, Salem, Ahmed, Cherubin, Giovanni, Zanella-Beguelin, Santiago, Schmid, Robin, Klemm, Victor, Miki, Takahiro, Li, Chenhao, Kraft, Stefan, Fritz, Mario, Tramèr, Florian, Abdelnabi, Sahar, Schönherr, Lea
Year of Publication 12.06.2024

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)