Alejandro Russo

发表

Deian Stefan, Alejandro Russo, Pablo Buiras, 2012, ICFP '12.
Alejandro Russo, Nachiappan Valliappan, Solène Mirliaz, 2018, ISoLA.
Alejandro Russo, Andrei Sabelfeld, Alejandro Russo, 2006, Ershov Memorial Conference.
Alejandro Russo, Mauro Jaskelioff, Dante Zanarini, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Alejandro Russo, Agustin Mista, Alejandro Russo, 2019, 2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST).
Deian Stefan, Alejandro Russo, John C. Mitchell, 2011, NordSec.
Alejandro Russo, Thomas Schmitz, Nataliia Bielova, 2018, WWW.
Alejandro Russo, Maximilian Algehed, Alejandro Russo, 2017, PLAS@CCS.
Gilles Barthe, Alejandro Russo, Tamara Rezk, 2007, ESORICS.
Alejandro Russo, John Hughes, Agustín Mista, 2018, Haskell@ICFP.
Deian Stefan, Alejandro Russo, Stefan Heule, 2015, HotOS.
Alejandro Russo, Pablo Buiras, Stephen Chong, 2017, CCS.
Alejandro Russo, David Sands, Filippo Del Tedesco, 2014, ESSoS.
Alejandro Russo, John Hughes, Ta-Chung Tsai, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Deian Stefan, Alejandro Russo, John C. Mitchell, 2015, POST.
Alejandro Russo, Albert Disertholf, Alejandro Russo, 2011 .
Alejandro Russo, Mauro Jaskelioff, Alejandro Russo, 2011, Ershov Memorial Conference.
Alejandro Russo, Juan José Conti, 2010, NordSec.
Keqin Li, Alejandro Russo, Andrei Sabelfeld, 2010, Logics and Languages for Reliability and Security.
Alejandro Russo, John Hughes, Andrei Sabelfeld, 2006, ASIAN.
Alejandro Russo, Luciano Bello, Alejandro Russo, 2012, PLAS.
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov, 2009, ESORICS.
Alejandro Russo, Pablo Buiras, Lucas Waye, 2016, ESORICS.
Alejandro Russo, Pablo Buiras, Alejandro Russo, 2013, NordSec.
Deian Stefan, Alejandro Russo, Amit A. Levy, 2012, OSDI.
Alejandro Russo, Andrei Sabelfeld, 2009, Ershov Memorial Conference.
Alejandro Russo, Elisabet Lobo Vesga, Marco Gaboardi, 2019, 2020 IEEE Symposium on Security and Privacy (SP).
Deian Stefan, Alejandro Russo, Stefan Heule, 2015 .
Deian Stefan, Alejandro Russo, John C. Mitchell, 2012, Haskell '11.
Alejandro Russo, Jonas Magazinius, Andrei Sabelfeld, 2010, Comput. Secur..
Alejandro Russo, Cormac Flanagan, Maximilian Algehed, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Gilles Barthe, Alejandro Russo, Tamara Rezk, 2007, TSEC.
Alejandro Russo, Andrei Sabelfeld, Alejandro Russo, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Alejandro Russo, Pablo Buiras, Lucas Waye, 2017 .
Alejandro Russo, Andrei Sabelfeld, Alejandro Russo, 2009, J. Log. Algebraic Methods Program..
Deian Stefan, Alejandro Russo, David Mazières, 2014, OSDI.
Alejandro Russo, Jonas Magazinius, Andrei Sabelfeld, 2012, Comput. Secur..
Koen Claessen, Alejandro Russo, John Hughes, 2008, Haskell '08.
Deian Stefan, Alejandro Russo, Pablo Buiras, 2013, ESORICS.
Alejandro Russo, Andrei Sabelfeld, Alejandro Russo, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Alejandro Russo, David Sands, Filippo Del Tedesco, 2014, ArXiv.
Alejandro Russo, David Sands, Filippo Del Tedesco, 2010, NordSec.
Alejandro Russo, Thomas Schmitz, Cormac Flanagan, 2018, CCS.
Gilles Barthe, Alejandro Russo, Tamara Rezk, 2007, TSEC.
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld, 2010, ICISS.
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld, 2011, PLAS '11.
Deian Stefan, Alejandro Russo, Amit A. Levy, 2014, Haskell '14.
Deian Stefan, Alejandro Russo, David Mazières, 2012 .
Deian Stefan, Alejandro Russo, Pablo Buiras, 2013, TGC.
Deian Stefan, Alejandro Russo, John C. Mitchell, 2011 .
Alejandro Russo, Pablo Buiras, Dimitrios Vytiniotis, 2015, ICFP.
Alejandro Russo, Pablo Buiras, Stephen Chong, 2015, STM.
Koen Claessen, Alejandro Russo, John Hughes, 2011, AST '11.
Alejandro Russo, Joachim Breitner, Marco Vassena, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Alejandro Russo, Jonathan Cogan, Sergio Benitez, 2020, PLAS@CCS.
Deian Stefan, Alejandro Russo, Pablo Buiras, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Deian Stefan, Alejandro Russo, Deepak Garg, 2019, Proc. ACM Program. Lang..
Alejandro Russo, Nachiappan Valliappan, Alejandro Russo, 2019, PPDP.
Alejandro Russo, Marco Vassena, Alejandro Russo, 2016, PLAS@CCS.
Deian Stefan, Alejandro Russo, John C. Mitchell, 2014, POST 2014.
Alejandro Russo, David Sands, Filippo Del Tedesco, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Alejandro Russo, Andrei Sabelfeld, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Alejandro Russo, Nachiappan Valliappan, Sam Lindley, 2021, Haskell.
Alejandro Russo, Gerardo Schneider, William Hughes, 2021, BSCI.
Marco Gaboardi, Alejandro Russo, Elisabet Lobo Vesga, 2021, ACM Trans. Program. Lang. Syst..
Alejandro Russo, Nachiappan Valliappan, Sam Lindley, 2021, Artifact Digital Object Group.