Musard Balliu - RankMe

56 papers A* 9A 14C 1Journal 19Unranked 12

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