Musard Balliu

发表

Musard Balliu, Andrei Sabelfeld, Iulia Bastys, 2019, IEEE Security & Privacy.

Gerardo Schneider, Musard Balliu, Raúl Pardo, 2017, J. Log. Algebraic Methods Program..

Michele Pasqua, Massimo Merro, Musard Balliu, 2020 .

Michael Pradel, Musard Balliu, Andrei Sabelfeld, 2019, PLAS@CCS.

Roberto Guanciale, Mads Dam, Musard Balliu, 2014, CCS.

Musard Balliu, Isabella Mastroeni, Isabella Mastroeni, 2010, Trans. Comput. Sci..

Benjamin C. Pierce, Musard Balliu, Andrei Sabelfeld, 2016, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).

Musard Balliu, Musard Balliu, 2013, NordSec.

Musard Balliu, Tamara Rezk, Andrei Sabelfeld, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).

Musard Balliu, Isabella Mastroeni, Isabella Mastroeni, 2009, PLAS '09.

Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2016 .

Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2017, ESORICS.

Michele Pasqua, Massimo Merro, Musard Balliu, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

Frank Piessens, Musard Balliu, Andrei Sabelfeld, 2016, ESORICS.

Marco Guarnieri, Musard Balliu, David Basin, 2019, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).

Mads Dam, Gurvan Le Guernic, Musard Balliu, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.

Musard Balliu, Andrei Sabelfeld, Iulia Bastys, 2018, CCS.

Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2016, CODASPY.

Riccardo Scandariato, Musard Balliu, Katja Tuma, 2019, 2019 IEEE International Conference on Software Architecture (ICSA).

Mads Dam, Gurvan Le Guernic, Musard Balliu, 2011, PLAS '11.

Musard Balliu, Guido Salvaneschi, Amir M. Ahmadian, 2021, 2021 IEEE Secure Development Conference (SecDev).

Musard Balliu, Guido Salvaneschi, Amir M. Ahmadian, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).

Michele Pasqua, Massimo Merro, Musard Balliu, 2021, ACM Trans. Priv. Secur..

Musard Balliu, Andrei Sabelfeld, Daniel Hedin, 2021, Protocols, Strands, and Logic.

Benoit Baudry, Musard Balliu, Rodothea Myrsini Tsoupidi, 2021, 2021 IEEE Secure Development Conference (SecDev).

Musard Balliu, Andrei Sabelfeld, Daniel Hedin, 2021, USENIX Security Symposium.

Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2016 .