Musard Balliu
Kungliga Tekniska högskolan
H-index: 18
Europe-Sweden
Top articles of Musard Balliu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Unveiling the Invisible: Detection and Evaluation of Prototype Pollution Gadgets with Dynamic Taint Analysis | arXiv preprint arXiv:2311.03919 | Mikhail Shcherbakov Paul Moosbrugger Musard Balliu | 2023/11/7 |
Security Properties through the Lens of Modal Logic | arXiv preprint arXiv:2309.09542 | Matvey Soloviev Musard Balliu Roberto Guanciale | 2023/9/18 |
Challenges of producing software bill of materials for java | IEEE Security & Privacy | Musard Balliu Benoit Baudry Sofia Bobadilla Mathias Ekstedt Martin Monperrus | 2023/8/31 |
Disjunctive Policies for Database-Backed Programs | arXiv preprint arXiv:2312.10441 | Amir M Ahmadian Matvey Soloviev Musard Balliu | 2023/12/16 |
Silent spring: Prototype pollution leads to remote code execution in Node. js | Mikhail Shcherbakov Musard Balliu Cristian-Alexandru Staicu | 2023 | |
Software Bill of Materials in Java | Musard Balliu Benoit Baudry Sofia Bobadilla Mathias Ekstedt Martin Monperrus | 2023/11/30 | |
Dynamic policies revisited | Amir M Ahmadian Musard Balliu | 2022/6/6 | |
Securing node-red applications | Mohammad M Ahmadpanah Musard Balliu Daniel Hedin Lars Eric Olsson Andrei Sabelfeld | 2021 | |
Security-Aware Multi-User Architecture for IoT | Marcus Birgersson Cyrille Artho Musard Balliu | 2021/12/6 | |
{SandTrap}: Securing {JavaScript-driven}{Trigger-Action} Platforms | Mohammad M Ahmadpanah Daniel Hedin Musard Balliu Lars Eric Olsson Andrei Sabelfeld | 2021 | |
Enclave-Based Secure Programming with JE | Aditya Oak Amir M Ahmadian Musard Balliu Guido Salvaneschi | 2021/10/18 | |
Serialdetector: Principled and practical exploration of object injection vulnerabilities for the web | Mikhail Shcherbakov Musard Balliu | 2021 | |
Vivienne: Relational verification of cryptographic implementations in webassembly | Rodothea Myrsini Tsoupidi Musard Balliu Benoit Baudry | 2021/10/18 | |
Language support for secure software development with enclaves | Aditya Oak Amir M Ahmadian Musard Balliu Guido Salvaneschi | 2021/6/21 | |
Friendly fire: cross-app interactions in IoT platforms | ACM Transactions on Privacy and Security (TOPS) | Musard Balliu Massimo Merro Michele Pasqua Mikhail Shcherbakov | 2021/4/1 |
Inspectre: Breaking and fixing microarchitectural vulnerabilities by formal analysis | Roberto Guanciale Musard Balliu Mads Dam | 2020/10/30 | |
Clockwork: Tracking remote timing attacks | Iulia Bastys Musard Balliu Tamara Rezk Andrei Sabelfeld | 2020/6/22 |