I agree that this site is using cookies. You can find further informations here.
X
Balliu, Musard
57  results:
Search for persons X
?
1

Unveiling the Invisible: Detection and Evaluation of Protot..:

, In: Proceedings of the ACM on Web Conference 2024,
Shcherbakov, Mikhail ; Moosbrugger, Paul ; Balliu, Musard - p. 1800-1811 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Challenges of Producing Software Bill of Materials for Java:

Balliu, Musard ; Baudry, Benoit ; Bobadilla, Sofia...
IEEE Security & Privacy.  21 (2023)  6 - p. 12-23 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Software Bill of Materials in Java:

, In: Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses,
Balliu, Musard ; Baudry, Benoit ; Bobadilla, Sofia... - p. 75-76 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Dynamic Policies Revisited:

, In: 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P),
Ahmadian, Amir M. ; Balliu, Musard - p. 448-466 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Vivienne: Relational Verification of Cryptographic Implemen..:

, In: 2021 IEEE Secure Development Conference (SecDev),
Tsoupidi, Rodothea Myrsini ; Balliu, Musard ; Baudry, Benoit - p. 94-102 , 2021
Link: https://doi.org/10.1109/..
 
?
6

Securing Node-RED Applications:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,
Ahmadpanah, Mohammad M. ; Balliu, Musard ; Hedin, Daniel.. - p. 1-21 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Language Support for Secure Software Development with Encla..:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Oak, Aditya ; Ahmadian, Amir M. ; Balliu, Musard. - p. 1-16 , 2021
Link: https://doi.org/10.1109/..
 
?
8

Friendly Fire: Cross-app Interactions in IoT Platforms:

Balliu, Musard ; Merro, Massimo ; Pasqua, Michele.
ACM Transactions on Privacy and Security.  24 (2021)  3 - p. 1-40 , 2021
Link: https://doi.org/10.1145/..
 
?
9

Friendly Fire : Cross-app Interactions in IoT Platforms:

Balliu, Musard ; Merro, Massimo ; Pasqua, Michele.
ACM Transactions on Privacy and Security (TOPS).  24 (2021)  3 - p. 1-40 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Security-Aware Multi-User Architecture for IoT:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),
Birgersson, Marcus ; Artho, Cyrille ; Balliu, Musard - p. 102-113 , 2021
Link: https://doi.org/10.1109/..
 
?
11

Enclave-Based Secure Programming with JE:

, In: 2021 IEEE Secure Development Conference (SecDev),
Oak, Aditya ; Ahmadian, Amir M. ; Balliu, Musard. - p. 71-78 , 2021
Link: https://doi.org/10.1109/..
 
?
12

InSpectre: Breaking and Fixing Microarchitectural Vulnerabi..:

, In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security,
Guanciale, Roberto ; Balliu, Musard ; Dam, Mads - p. 1853-1869 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Clockwork: Tracking Remote Timing Attacks:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
Bastys, Iulia ; Balliu, Musard ; Rezk, Tamara. - p. 350-365 , 2020
Link: https://doi.org/10.1109/..
 
?
14

An Empirical Study of Information Flows in Real-World JavaS..:

, In: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security,
Staicu, Cristian-Alexandru ; Schoepe, Daniel ; Balliu, Musard.. - p. 45-59 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Securing IoT Apps:

Balliu, Musard ; Bastys, Iulia ; Sabelfeld, Andrei
IEEE Security & Privacy.  17 (2019)  5 - p. 22-29 , 2019
Link: https://doi.org/10.1109/..
 
1-15