Musard Balliu

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 36

Top Venues

CoRR

EuroS&P

CSF

USENIX Security Symposium

Royal Institute of Technology, Stockholm, Sweden (PHD)

Education History

Royal Institute of Technology, Stockholm, Sweden

PHD

Publications

Mikhail Shcherbakov, Paul Moosbrugger, Musard Balliu
Unveiling the Invisible: Detection and Evaluation of Prototype Pollution Gadgets with Dynamic Taint Analysis. WWW (2024)
Eric Cornelissen, Mikhail Shcherbakov, Musard Balliu
GHunter: Universal Prototype Pollution Gadgets in JavaScript Runtimes. CoRR (2024)
Eric Cornelissen, Mikhail Shcherbakov, Musard Balliu
GHunter: Universal Prototype Pollution Gadgets in JavaScript Runtimes. USENIX Security Symposium (2024)
Mikhail Shcherbakov, Musard Balliu, Cristian-Alexandru Staicu
Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js. USENIX Security Symposium (2023)
Matvey Soloviev, Musard Balliu, Roberto Guanciale
Security Properties through the Lens of Modal Logic. CoRR (2023)
Musard Balliu, Benoit Baudry, Sofia Bobadilla, Mathias Ekstedt, Martin Monperrus, Javier Ron, Aman Sharma, Gabriel Skoglund, César Soto-Valero, Martin Wittlinger
Software Bill of Materials in Java. SCORED@CCS (2023)
Mikhail Shcherbakov, Paul Moosbrugger, Musard Balliu
Unveiling the Invisible: Detection and Evaluation of Prototype Pollution Gadgets with Dynamic Taint Analysis. CoRR (2023)
Musard Balliu, Benoit Baudry, Sofia Bobadilla, Mathias Ekstedt, Martin Monperrus, Javier Ron, Aman Sharma, Gabriel Skoglund, César Soto-Valero, Martin Wittlinger
Challenges of Producing Software Bill Of Materials for Java. CoRR (2023)
Amir M. Ahmadian, Matvey Soloviev, Musard Balliu
Disjunctive Policies for Database-Backed Programs. CoRR (2023)
Musard Balliu, Benoit Baudry, Sofia Bobadilla, Mathias Ekstedt, Martin Monperrus, Javier Ron Arteaga, Aman Sharma, Gabriel Skoglund, César Soto-Valero, Martin Wittlinger
Challenges of Producing Software Bill of Materials for Java. IEEE Secur. Priv. 21 (6) (2023)
Amir M. Ahmadian, Musard Balliu
Dynamic Policies Revisited. EuroS&P (2022)
Mikhail Shcherbakov, Musard Balliu, Cristian-Alexandru Staicu
Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js. CoRR (2022)
Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
Enclave-Based Secure Programming with JE. SecDev (2021)
Mikhail Shcherbakov, Musard Balliu
SerialDetector: Principled and Practical Exploration of Object Injection Vulnerabilities for the Web. NDSS (2021)
Rodothea-Myrsini Tsoupidi, Musard Balliu, Benoit Baudry
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly. SecDev (2021)
Mohammad M. Ahmadpanah, Musard Balliu, Daniel Hedin, Lars Eric Olsson, Andrei Sabelfeld
Securing Node-RED Applications. Protocols, Strands, and Logic (2021)
Marcus Birgersson, Cyrille Artho, Musard Balliu
Security-Aware Multi-User Architecture for IoT. QRS (2021)
Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
Language Support for Secure Software Development with Enclaves. CSF (2021)
Mohammad M. Ahmadpanah, Daniel Hedin, Musard Balliu, Lars Eric Olsson, Andrei Sabelfeld
SandTrap: Securing JavaScript-driven Trigger-Action Platforms. USENIX Security Symposium (2021)
Rodothea-Myrsini Tsoupidi, Musard Balliu, Benoit Baudry
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly. CoRR (2021)
Musard Balliu, Massimo Merro, Michele Pasqua, Mikhail Shcherbakov
Friendly Fire: Cross-app Interactions in IoT Platforms. ACM Trans. Priv. Secur. 24 (3) (2021)
Roberto Guanciale, Musard Balliu, Mads Dam
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. CCS (2020)
Iulia Bastys, Musard Balliu, Tamara Rezk, Andrei Sabelfeld
Clockwork: Tracking Remote Timing Attacks. CSF (2020)
Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld
Information-Flow Control for Database-Backed Applications. EuroS&P (2019)
Musard Balliu, Massimo Merro, Michele Pasqua
Securing Cross-App Interactions in IoT Platforms. CSF (2019)
Katja Tuma, Riccardo Scandariato, Musard Balliu
Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis. ICSA (2019)
Musard Balliu, Iulia Bastys, Andrei Sabelfeld
Securing IoT Apps. IEEE Secur. Priv. 17 (5) (2019)
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
An Empirical Study of Information Flows in Real-World JavaScript. CoRR (2019)
Musard Balliu, Mads Dam, Roberto Guanciale
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. CoRR (2019)
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
An Empirical Study of Information Flows in Real-World JavaScript. PLAS@CCS (2019)
Iulia Bastys, Musard Balliu, Andrei Sabelfeld
If This Then What?: Controlling Flows in IoT Apps. CCS (2018)
Musard Balliu, Daniel Schoepe, Andrei Sabelfeld
We Are Family: Relating Information-Flow Trackers. ESORICS (1) (2017)
Raúl Pardo, Musard Balliu, Gerardo Schneider
Formalising privacy policies in social networks. J. Log. Algebraic Methods Program. 90 (2017)
Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld
Let's Face It: Faceted Values for Taint Tracking. ESORICS (1) (2016)
Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld
Explicit Secrecy: A Policy for Taint Tracking. EuroS&P (2016)
Musard Balliu, Benjamin Liebe, Daniel Schoepe, Andrei Sabelfeld
JSLINQ: Building Secure Applications across Tiers. CODASPY (2016)
Musard Balliu, Mads Dam, Roberto Guanciale
Automating Information Flow Analysis of Low Level Code. CCS (2014)
Musard Balliu
A Logic for Information Flow Analysis of Distributed Programs. NordSec (2013)
Musard Balliu, Mads Dam, Gurvan Le Guernic
Epistemic Temporal Logic for Information Flow Security CoRR (2012)
Musard Balliu, Mads Dam, Gurvan Le Guernic
ENCoVer: Symbolic Exploration for Information Flow Security. CSF (2012)
Musard Balliu, Mads Dam, Gurvan Le Guernic
Epistemic temporal logic for information flow security. PLAS (2011)
Musard Balliu, Isabella Mastroeni
A Weakest Precondition Approach to Robustness. Trans. Comput. Sci. 10 (2010)
Musard Balliu, Isabella Mastroeni
A weakest precondition approach to active attacks analysis. PLAS (2009)

Musard Balliu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Musard Balliu