Musard Balliu

Cited by

	All	Since 2017
Citations	516	406
h-index	14	12
i10-index	17	14

160

120

20102011201220132014201520162017201820192020202120223 5 4 16 18 28 31 39 46 69 88 157 4

Public access

View all

15 articles

1 article

available

not available

Based on funding mandates

Co-authors

Andrei SabelfeldChalmers University of TechnologyVerified email at chalmers.se
Daniel SchoepeAmazonVerified email at schoepe.org
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of TechnologyVerified email at kth.se
Iulia BastysChalmers University of TechnologyVerified email at chalmers.se
Gurvan Le GuernicInria, FranceVerified email at inria.fr
Roberto GuancialeKTHVerified email at kth.se
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Isabella MastroeniComputer Science Dept. - University of VeronaVerified email at univr.it
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Massimo MerroProfessor of Computer Science, Verona University - ItalyVerified email at univr.it
Raúl PardoIT University of CopenhagenVerified email at itu.dk
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Verified email at tuhh.de
Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamVerified email at vu.nl
Cristian-Alexandru StaicuCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartVerified email at iste.uni-stuttgart.de
Daniel HedinMälardalen UniversityVerified email at mdh.se
Marco GuarnieriIMDEA Software InstituteVerified email at imdea.org
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch

Musard Balliu

KTH Royal Institute of Technology

Verified email at kth.se - Homepage

Computer Security Language-based Security Programming Languages Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	77	2018
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	57	2011
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	46	2016
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	41	2014
ENCOVER: Symbolic Exploration for Information Flow Security M Balliu, M Dam, G Le Guernic	34	2012
Inspectre: Breaking and fixing microarchitectural vulnerabilities by formal analysis R Guanciale, M Balliu, M Dam Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020	24	2020
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	20	2019
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	20	2019
The internet of things: Security challenges PC Van Oorschot, SW Smith IEEE Security & Privacy 17 (5), 7-9, 2019	18	2019
We are family: Relating information-flow trackers M Balliu, D Schoepe, A Sabelfeld European Symposium on Research in Computer Security, 124-145, 2017	18	2017
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	18	2016
Securing IoT Apps M Balliu, I Bastys, A Sabelfeld IEEE Security & Privacy 17 (5), 22-29, 2019	17	2019
A logic for information flow analysis of distributed programs M Balliu Nordic Conference on Secure IT Systems, 84-99, 2013	15	2013
Formalising privacy policies in social networks R Pardo, M Balliu, G Schneider Journal of logical and algebraic methods in programming 90, 125-157, 2017	14*	2017
A weakest precondition approach to active attacks analysis (abstract only) M Balliu, I Mastroeni ACM SIGPLAN Notices 44 (8), 5-5, 2009	13*	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	13	2009
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	12	2016
Securing cross-app interactions in IoT platforms M Balliu, M Merro, M Pasqua 2019 IEEE 32nd computer security foundations symposium (CSF), 319-31915, 2019	11	2019
A weakest precondition approach to robustness M Balliu, I Mastroeni Transactions on computational science X, 261-297, 2010	9	2010
Friendly fire: cross-app interactions in IoT platforms M Balliu, M Merro, M Pasqua, M Shcherbakov ACM Transactions on Privacy and Security (TOPS) 24 (3), 1-40, 2021	7	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors