R. Focardi

发表

Michele Bugliesi, Riccardo Focardi, Matteo Maffei, 2003, Ershov Memorial Conference.
Matteo Maffei, M. Bugliesi, R. Focardi, 2003 .
Roberto Baldoni, Alessandro Armando, Riccardo Focardi, 2017 .
Martín Abadi, Dieter Gollmann, Roberto Gorrieri, 1998, CSFW.
R. Gorrieri, R. Focardi, 1994 .
Roberto Gorrieri, Riccardo Focardi, R. Gorrieri, 1994 .
Roberto Gorrieri, Riccardo Focardi, Roberto Segala, 2000 .
Roberto Gorrieri, Riccardo Focardi, Antonio Durante, 1999 .
Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2000 .
Dieter Gollmann, Gavin Lowe, Riccardo Focardi, 1998 .
Riccardo Focardi, Sabina Rossi, S. Rossi, 2002 .
Agostino Cortesi, Riccardo Focardi, R. Focardi, 2002, Comput. Lang. Syst. Struct..
Agostino Cortesi, Riccardo Focardi, R. Focardi, 2002 .
Mauro Conti, Riccardo Focardi, Stefano Calzavara, 2019, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2002, TOSCA.
Flaminia L. Luccio, Riccardo Focardi, Heider A. Wahsheh, 2019, J. Inf. Secur. Appl..
Michele Bugliesi, Riccardo Focardi, Stefano Calzavara, 2014, ESSoS.
Riccardo Focardi, Stefano Calzavara, Niklas Grimm, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Riccardo Focardi, Matteo Maffei, Stefano Calzavara, 2018, USENIX Security Symposium.
Michele Bugliesi, Riccardo Focardi, Stefano Calzavara, 2017, J. Log. Algebraic Methods Program..
Michele Bugliesi, Riccardo Focardi, Stefano Calzavara, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Michele Bugliesi, Riccardo Focardi, Stefano Calzavara, 2015, J. Comput. Secur..
Flaminia L. Luccio, Riccardo Focardi, F. Luccio, 2011, Formal Aspects in Security and Trust.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2002, VMCAI.
Roberto Gorrieri, Riccardo Focardi, R. Gorrieri, 1995, J. Comput. Secur..
Flaminia L. Luccio, Riccardo Focardi, Letterio Galletta, 2021, J. Comput. Secur..
Roberto Gorrieri, Riccardo Focardi, R. Gorrieri, 1994, Proceedings The Computer Security Foundations Workshop VII.
Riccardo Focardi, Claudio Bozzato, Francesco Palmarini, 2019, IACR Trans. Cryptogr. Hardw. Embed. Syst..
Graham Steel, Riccardo Focardi, Marco Squarcina, 2018, NDSS.
Riccardo Focardi, Stefano Calzavara, Alvise Rabitti, 2020, ITASEC.
Flaminia L. Luccio, Riccardo Focardi, Joshua D. Guttman, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Flaminia L. Luccio, Riccardo Focardi, Pedro Adão, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Riccardo Focardi, Letterio Galletta, Pierpaolo Degano, 2018, 2018 IEEE European Symposium on Security and Privacy (EuroS&P).
Agostino Cortesi, Michael Backes, Riccardo Focardi, 2007, FMSE '07.
R. Gorrieri, R. Focardi, J. Leeuwen, 2001, Lecture Notes in Computer Science.
Roberto Gorrieri, Riccardo Focardi, Antonio Durante, 2000, TSEM.
Roberto Gorrieri, Riccardo Focardi, R. Gorrieri, 2000, FOSAD.
Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2000, ICALP.
Fabio Martinelli, Riccardo Focardi, F. Martinelli, 1999, World Congress on Formal Methods.
Roberto Gorrieri, Riccardo Focardi, Antonio Durante, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.
Roberto Gorrieri, Riccardo Focardi, R. Gorrieri, 1997, IEEE Trans. Software Eng..
Roberto Gorrieri, Riccardo Focardi, R. Gorrieri, 1996, TACAS.
Riccardo Focardi, R. Focardi, 1996, Proceedings 9th IEEE Computer Security Foundations Workshop.
Roberto Gorrieri, Riccardo Focardi, R. Gorrieri, 1993 .
Michele Bugliesi, Riccardo Focardi, M. Bugliesi, 2010, Mathematical Structures in Computer Science.
Michele Bugliesi, Riccardo Focardi, M. Bugliesi, 2009, EXPRESS.
Michele Bugliesi, Riccardo Focardi, M. Bugliesi, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2001, FOSAD.
Michele Bugliesi, Riccardo Focardi, M. Bugliesi, 2009 .
Michele Bugliesi, Silvia Crafa, Vladimiro Sassone, 2004 .
Euripides Markou, Flaminia L. Luccio, Riccardo Focardi, 2019, ICTCS.
Riccardo Focardi, Matteo Centenaro, Matteo Centenaro, 2008, PLAS '08.
Agostino Cortesi, Riccardo Focardi, Chiara Braghin, 2008, Inf. Comput..
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld, 2005, FoSSaCS.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2004, Comput. Lang. Syst. Struct..
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2004, MEFISTO.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Agostino Cortesi, Riccardo Focardi, Chiara Braghin, 2003, CATS.
Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2003, IEEE J. Sel. Areas Commun..
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2002, LOPSTR.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2002, AMAST.
R. Focardi, S. Rossi, S. Rossi, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Riccardo Focardi, Carla Piazza, Sabina Rossi, 2002, VMCAI.
Roberto Gorrieri, Riccardo Focardi, Antonio Durante, 2001, MMM-ACNS.
Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 2000, AMAST.
Roberto Gorrieri, Riccardo Focardi, V. Panini, 1995, Proceedings The Eighth IEEE Computer Security Foundations Workshop.
Graham Steel, Flaminia L. Luccio, Riccardo Focardi, 2011, FOSAD.
Roberto Gorrieri, Fabio Martinelli, Riccardo Focardi, 1999, Workshop on Secure Architectures and Information Flow.
Mauro Conti, Riccardo Focardi, Stefano Calzavara, 2020, IEEE Security & Privacy.
Riccardo Focardi, Stefano Calzavara, Marco Squarcina, 2019, 2019 IEEE Symposium on Security and Privacy (SP).
Michele Bugliesi, Riccardo Focardi, Stefano Calzavara, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Agostino Cortesi, Riccardo Focardi, Chiara Braghin, 2002, Comput. Lang. Syst. Struct..
Flaminia L. Luccio, Riccardo Focardi, F. Luccio, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Corrado Priami, Riccardo Focardi, Pierpaolo Degano, 2003, PaCT.