Musard Balliu
Title
Cited by
Cited by
Year
Epistemic temporal logic for information flow security
M Balliu, M Dam, G Le Guernic
ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for …, 2011
532011
Automating information flow analysis of low level code
M Balliu, M Dam, R Guanciale
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
352014
ENCOVER: Symbolic Exploration for Information Flow Security
M Balliu, M Dam, G Le Guernic
302012
Explicit secrecy: A policy for taint tracking
D Schoepe, M Balliu, BC Pierce, A Sabelfeld
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 15-30, 2016
262016
If this then what? Controlling flows in IoT apps
I Bastys, M Balliu, A Sabelfeld
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
222018
Let’s face it: Faceted values for taint tracking
D Schoepe, M Balliu, F Piessens, A Sabelfeld
European Symposium on Research in Computer Security, 561-580, 2016
152016
A logic for information flow analysis of distributed programs
M Balliu
Nordic Conference on Secure IT Systems, 84-99, 2013
142013
A weakest precondition approach to active attacks analysis (abstract only)
M Balliu, I Mastroeni
ACM SIGPLAN Notices 44 (8), 5-5, 2009
11*2009
A weakest precondition approach to active attacks analysis
M Balliu, I Mastroeni
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009
112009
Formalising privacy policies in social networks
R Pardo, M Balliu, G Schneider
Journal of logical and algebraic methods in programming 90, 125-157, 2017
102017
Jslinq: Building secure applications across tiers
M Balliu, B Liebe, D Schoepe, A Sabelfeld
Proceedings of the Sixth ACM Conference on Data and Application Security and …, 2016
102016
We are family: Relating information-flow trackers
M Balliu, D Schoepe, A Sabelfeld
European Symposium on Research in Computer Security, 124-145, 2017
92017
A weakest precondition approach to robustness
M Balliu, I Mastroeni
Transactions on computational science X, 261-297, 2010
62010
Information-flow control for database-backed applications
M Guarnieri, M Balliu, D Schoepe, D Basin, A Sabelfeld
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 79-94, 2019
32019
Securing IoT apps
M Balliu, I Bastys, A Sabelfeld
IEEE Security & Privacy 17 (5), 22-29, 2019
32019
Flaws in flows: Unveiling design flaws via information flow analysis
K Tuma, R Scandariato, M Balliu
2019 IEEE International Conference on Software Architecture (ICSA), 191-200, 2019
32019
A formal approach to preserving privacy in social networks (extended version)
R Pardo, M Balliu, G Schneider
Technical report, Chalmers University of Technology, 0
3
An Empirical Study of Information Flows in Real-World JavaScript
CA Staicu, D Schoepe, M Balliu, M Pradel, A Sabelfeld
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and …, 2019
22019
Securing Cross-App Interactions in IoT Platforms
M Balliu, M Merro, M Pasqua
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 319-31915, 2019
22019
Logics for information flow security: from specification to verification
M Balliu
KTH Royal Institute of Technology, 2014
22014
The system can't perform the operation now. Try again later.
Articles 1–20