Andrei Sabelfeld

发表

Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld, 2005, FoSSaCS.
Alejandro Russo, Andrei Sabelfeld, Alejandro Russo, 2006, Ershov Memorial Conference.
Elena Pagnin, Andrei Sabelfeld, Ivan Oleynikov, 2020, IACR Cryptol. ePrint Arch..
Heiko Mantel, Andrei Sabelfeld, A. Sabelfeld, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Arnar Birgisson, Andrei Sabelfeld, A. Sabelfeld, 2011, ESORICS.
Per A. Hallgren, Andrei Sabelfeld, Martín Ochoa, 2016, 2016 IEEE Conference on Communications and Network Security (CNS).
Per A. Hallgren, Andrei Sabelfeld, Martín Ochoa, 2018, J. Comput. Secur..
Musard Balliu, Andrei Sabelfeld, Iulia Bastys, 2019, IEEE Security & Privacy.
Gilles Barthe, Alejandro Russo, Tamara Rezk, 2007, ESORICS.
Per A. Hallgren, Andrei Sabelfeld, Claudio Orlandi, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Andrew C. Myers, Andrei Sabelfeld, A. Myers, 2003, IEEE J. Sel. Areas Commun..
Andrew C. Myers, Steve Zdancewic, Andrei Sabelfeld, 2006, J. Comput. Secur..
Andrei Sabelfeld, Alexander Sjösten, Daniel Hedin, 2018, FORTE.
Anindya Banerjee, Heiko Mantel, Andrei Sabelfeld, 2003, Language Based Security.
David Sands, Andrei Sabelfeld, 1999, ESOP.
Andrei Sabelfeld, A. Sabelfeld, 2003, Ershov Memorial Conference.
Andrei Sabelfeld, Aslan Askarov, A. Sabelfeld, 2005, ESORICS.
Benjamin Livshits, Martin Johns, Lieven Desmet, 2012, Dagstuhl Reports.
Benjamin Livshits, Martin Johns, Andrei Sabelfeld, 2014, J. Comput. Secur..
Benjamin Eriksson, Andrei Sabelfeld, Giancarlo Pellegrino, 2021 .
Heiko Mantel, Andrei Sabelfeld, A. Sabelfeld, 2002, SAS.
Jonas Magazinius, Andrei Sabelfeld, Aslan Askarov, 2011, APLAS.
Gilles Barthe, Peter Müller, Andrew C. Myers, 2007, Mobility, Ubiquity and Security.
Andrew C. Myers, Heiko Mantel, Andrei Sabelfeld, 2007, Mobility, Ubiquity and Security.
Andrei Sabelfeld, Aslan Askarov, A. Sabelfeld, 2007, 2007 IEEE Symposium on Security and Privacy (SP '07).
Andrei Sabelfeld, Daniel Schoepe, Daniel Hedin, 2014, ICFP.
Andrei Sabelfeld, Steven Van Acker, Daniel Hausknecht, 2016, AsiaCCS.
Keqin Li, Alejandro Russo, Andrei Sabelfeld, 2010, Logics and Languages for Reliability and Security.
Wouter Joosen, Andrei Sabelfeld, Steven Van Acker, 2015, CODASPY.
Andrei Sabelfeld, Alexander Sjösten, Steven Van Acker, 2017, CODASPY.
Per A. Hallgren, Andrei Sabelfeld, Martín Ochoa, 2015, 2015 13th Annual Conference on Privacy, Security and Trust (PST).
Benjamin Eriksson, Andrei Sabelfeld, Jonas Groth, 2019, VEHITS.
Andrei Sabelfeld, Steven Van Acker, Daniel Hausknecht, 2017, SAC.
Benjamin Eriksson, Andrei Sabelfeld, 2020, WWW.
Keiko Nakata, Andrei Sabelfeld, Willard Rafnsson, 2013, IEEE Transactions on Dependable and Secure Computing.
Alejandro Russo, John Hughes, Andrei Sabelfeld, 2006, ASIAN.
Andrei Sabelfeld, Daniel Hedin, Luciano Bello, 2015, LPAR.
Deepak Garg, Andrei Sabelfeld, Willard Rafnsson, 2016, ESSoS.
Anindya Banerjee, Heiko Mantel, Andrei Sabelfeld, 2003, Language Based Security.
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov, 2009, ESORICS.
Andrei Sabelfeld, A. Sabelfeld, 2018, ACM Conference on Computer and Communications Security.
Per A. Hallgren, Andrei Sabelfeld, Daniel T. Mauritzson, 2013, PLAS '13.
Michael Pradel, Musard Balliu, Andrei Sabelfeld, 2019, PLAS@CCS.
Andrei Sabelfeld, Aslan Askarov, A. Sabelfeld, 2009, PLAS '09.
Toby Murray, Andrei Sabelfeld, Daniel Schoepe, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Alejandro Russo, Andrei Sabelfeld, 2009, Ershov Memorial Conference.
Arnar Birgisson, Andrei Sabelfeld, Daniel Hedin, 2012, ESORICS.
Andrei Sabelfeld, Alexander Sjösten, Steven Van Acker, 2019, NDSS.
Andrei Sabelfeld, Willard Rafnsson, Daniel Hedin, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Alejandro Russo, Jonas Magazinius, Andrei Sabelfeld, 2010, Comput. Secur..
Jonas Magazinius, Andrei Sabelfeld, Daniel Hausknecht, 2015, DIMVA.
Andrei Sabelfeld, Steven Van Acker, Daniel Hausknecht, 2018, ACSAC.
Per A. Hallgren, Georgios Portokalidis, Andrei Sabelfeld, 2016, ACSAC.
Gilles Barthe, Alejandro Russo, Tamara Rezk, 2007, TSEC.
Alejandro Russo, Andrei Sabelfeld, Alejandro Russo, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Benjamin C. Pierce, Musard Balliu, Andrei Sabelfeld, 2016, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Alejandro Russo, Andrei Sabelfeld, Alejandro Russo, 2009, J. Log. Algebraic Methods Program..
Andrei Sabelfeld, A. Sabelfeld, 2008, J. Comput. Secur..
Andrei Sabelfeld, Daniel Hedin, 2015, 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Andrei Sabelfeld, Daniel Hedin, Luciano Bello, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Alejandro Russo, Jonas Magazinius, Andrei Sabelfeld, 2012, Comput. Secur..
Andrei Sabelfeld, Daniel Hedin, Aslan Askarov, 2008, Theor. Comput. Sci..
Andrei Sabelfeld, A. Sabelfeld, 2010, J. Comput. Secur..
Musard Balliu, Tamara Rezk, Andrei Sabelfeld, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Andrei Sabelfeld, Pablo Picazo-Sanchez, Gerardo Schneider, 2020, CANS.
Frank Piessens, Andrei Sabelfeld, Alexander Sjösten, 2017, POST.
Andrei Sabelfeld, Willard Rafnsson, A. Sabelfeld, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Amrita Roy Chowdhury, Andrei Sabelfeld, Ruizhe Wang, 2020, ArXiv.
Alejandro Russo, Andrei Sabelfeld, Alejandro Russo, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Heiko Mantel, Andrei Sabelfeld, David A. Naumann, 2005, Language-Based Security.
Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2016 .
Andrei Sabelfeld, Willard Rafnsson, A. Sabelfeld, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2017, ESORICS.
David Sands, Andrei Sabelfeld, David Sands, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Frank Piessens, Musard Balliu, Andrei Sabelfeld, 2016, ESORICS.
Gilles Barthe, Alejandro Russo, Tamara Rezk, 2007, TSEC.
Martín Abadi, J. Gregory Morrisett, Andrei Sabelfeld, 2005, J. Funct. Program..
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld, 2010, ICISS.
Marco Guarnieri, Musard Balliu, David Basin, 2019, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Frank Piessens, Andrei Sabelfeld, Iulia Bastys, 2018, NordSec.
Musard Balliu, Andrei Sabelfeld, Iulia Bastys, 2018, CCS.
David Sands, Andrei Sabelfeld, David Sands, 1999, High. Order Symb. Comput..
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld, 2011, PLAS '11.
Andrei Sabelfeld, Daniel Hedin, Luciano Bello, 2016, J. Comput. Secur..
Viktor K. Sabelfeld, Andrei Sabelfeld, 1997, ICFP '97.
Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2016, CODASPY.
Jonas Magazinius, Andrei Sabelfeld, Billy K. Rios, 2013, CCS.
David Sands, Andrei Sabelfeld, David Sands, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Dieter Gollmann, Andrei Sabelfeld, Jan Meier, 2005 .
Viktor K. Sabelfeld, Andrei Sabelfeld, A. Sabelfeld, 1997, ICFP.
Per A. Hallgren, Andrei Sabelfeld, Daniel T. Mauritzson, 2013 .
Andrew C. Myers, Andrei Sabelfeld, A. Myers, 2003, ISSS.
Per A. Hallgren, Andrei Sabelfeld, Simonas Stirbys, 2017, 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).
Andrei Sabelfeld, Daniel Hedin, Aslan Askarov, 2006, Theor. Comput. Sci..
Andrei Sabelfeld, Steven Van Acker, 2016, FOSAD.
Heiko Mantel, Andrei Sabelfeld, A. Sabelfeld, 2003, J. Comput. Secur..
Anindya Banerjee, Heiko Mantel, Andrei Sabelfeld, 2003 .
Andrei Sabelfeld, Daniel Hedin, A. Sabelfeld, 2012, Software Safety and Security.
Heiko Mantel, Andrei Sabelfeld, A. Sabelfeld, 2002 .
Elena Pagnin, Andrei Sabelfeld, Claudio Orlandi, 2019, Proc. Priv. Enhancing Technol..
Gilles Barthe, Peter Müller, Andrew C. Myers, 2007, Mobility, Ubiquity and Security.
David Sands, Andrei Sabelfeld, Sebastian Hunt, 2008, ESORICS.
Per A. Hallgren, Georgios Portokalidis, Andrei Sabelfeld, 2016, ACSAC 2016.
Andrei Sabelfeld, Aslan Askarov, A. Sabelfeld, 2007, PLAS '07.
David Sands, Andrei Sabelfeld, David Sands, 2009, J. Comput. Secur..
Lujo Bauer, Andrei Sabelfeld, Toby C. Murray, 2017, J. Comput. Secur..
Andrei Sabelfeld, Willard Rafnsson, A. Sabelfeld, 2011, PLAS '11.
Andrei Sabelfeld, Daniel Schoepe, A. Sabelfeld, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Andrei Sabelfeld, Daniel Hedin, A. Sabelfeld, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Keiko Nakata, Andrei Sabelfeld, A. Sabelfeld, 2010, IFIPTM.
Frank Piessens, Andrei Sabelfeld, Iulia Bastys, 2018, PLAS@CCS.
Andrei Sabelfeld, Aslan Askarov, A. Sabelfeld, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Jonas Magazinius, Andrei Sabelfeld, Daniel Hedin, 2014, ESSoS.
Jonas Magazinius, Andrei Sabelfeld, Aslan Askarov, 2010, ASIACCS '10.
Arnar Birgisson, Andrei Sabelfeld, Daniel Hedin, 2014, SAC.
Alejandro Russo, Andrei Sabelfeld, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Andrei Sabelfeld, Alexander Sjösten, Daniel Hedin, 2021, 2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Amrita Roy Chowdhury, Andrei Sabelfeld, Earlence Fernandes, 2021, 2021 IEEE Symposium on Security and Privacy (SP).
Heiko Mantel, Andrei Sabelfeld, David A. Naumann, 2021 .
Musard Balliu, Andrei Sabelfeld, Daniel Hedin, 2021, Protocols, Strands, and Logic.
Musard Balliu, Andrei Sabelfeld, Daniel Hedin, 2021, USENIX Security Symposium.
Andrei Sabelfeld, Aslan Askarov, Mohammad M. Ahmadpanah, 2021, 2021 IEEE European Symposium on Security and Privacy (EuroS&P).
Heiko Mantel, Andrei Sabelfeld, A. Sabelfeld, 2002 .
Bernhard Beckert, Riccardo Focardi, Letterio Galletta, .
Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2016 .
Andrew C. Myers, Steve Zdancewic, Andrei Sabelfeld, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..