Musard Balliu

发表

A. Sabelfeld, Musard Balliu, Daniel Schoepe, 2017 .

Musard Balliu, Andrei Sabelfeld, Daniel Schoepe, 2016 .

Cyrille Artho, Musard Balliu, Marcus Birgersson, 2021, 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS).

Monperrus Martin, B. Baudry, César Soto-Valero, 2023, arXiv.org.

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

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

Cristian-Alexandru Staicu, Musard Balliu, Mikhail Shcherbakov, 2022, ArXiv.

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

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

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

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

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

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

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

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

Amir M. Ahmadian, Musard Balliu, 2022, 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P).

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

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

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

Musard Balliu, Matvey Soloviev, Roberto Guanciale, 2023, ArXiv.

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

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

Musard Balliu, Musard Balliu, 2013, NordSec.

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

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

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

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

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

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

Musard Balliu, Mikhail Shcherbakov, Eric Cornelissen, 2024, USENIX Security Symposium.