Musard Balliu

Showing 11 publications

2021

SandTrap: Securing JavaScript-driven Trigger-Action Platforms

Seyed Mohammad Mehdi Ahmadpanah, Daniel Hedin, Musard Balliu et al
Proceedings of the 30th USENIX Security Symposium, p. 2899-2916
Paper in proceeding
2021

Securing Node-RED Applications

Seyed Mohammad Mehdi Ahmadpanah, Musard Balliu, Daniel Hedin et al
Protocols, Logic, and Strands: Festschrift in honor of Joshua Guttman
Other text in scientific journal
2020

Clockwork: Tracking Remote Timing Attacks

Iulia Bastys, Musard Balliu, Tamara Rezk et al
Proceedings - IEEE Computer Security Foundations Symposium, p. 350-365
Paper in proceeding
2019

Information-flow control for database-backed applications

Marco Guarnieri, Musard Balliu, Daniel Schoepe et al
Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019. Vol. June 2019, p. 79-94
Paper in proceeding
2019

An empirical study of information flows in real-world Javascript

Cristian Alexandru Staicu, Daniel Schoepe, Musard Balliu et al
Proceedings of the ACM Conference on Computer and Communications Security, p. 45-59
Paper in proceeding
2019

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis

Katja Tuma, Riccardo Scandariato, Musard Balliu
Proceedings - 2019 IEEE International Conference on Software Architecture, ICSA 2019, p. 191-200
Paper in proceeding
2017

We are family: Relating information-flow trackers

Musard Balliu, Daniel Schoepe, Andrei Sabelfeld
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10492 LNCS, p. 124-145
Paper in proceeding
2017

Formalising privacy policies in social networks

Raul Pardo Jimenez, Musard Balliu, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming. Vol. 90, p. 125-157
Journal article
2016

Let’s face it: Faceted values for taint tracking

Daniel Schoepe, Musard Balliu, Frank Piessens et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9878 LNCS, 2016, p. 561-580
Paper in proceeding
2016

Explicit Secrecy: A Policy for Taint Tracking

Daniel Schoepe, Musard Balliu, B. C. Pierce et al
1st IEEE European Symposium on Security and Privacy (Euro S&P), Saarbruecken, Germany, Mar 21-24, 2016, p. 15-30
Paper in proceeding
2016

JSLINQ: Building secure applications across tiers

Musard Balliu, Benjamin Liebe, Daniel Schoepe et al
6th ACM Conference on Data and Application Security and Privacy, CODASPY 2016; New Orleans; United States; 9 March 2016 through 11 March 2016, p. 307-318
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Musard Balliu participates, but you have to be logged in as a Chalmers employee to see them.