Matteo Maffei

Cited by

	All	Since 2016
Citations	2894	1454
h-index	31	19
i10-index	57	32

480

240

120

360

20042005200620072008200920102011201220132014201520162017201820192020202112 25 13 34 43 95 74 158 158 244 219 281 142 225 270 320 477 17

Co-authors

Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Security, SaarlandVerified email at cispa.saarland
Kim PecinaSaarland UniversityVerified email at cs.uni-saarland.de
Pedro Moreno-SanchezAssistant Research ProfessorVerified email at imdea.org
Riccardo FocardiDAIS, Ca' Foscari University, VeniceVerified email at unive.it
Aniket KatePurdue UniversityVerified email at purdue.edu
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Fabienne EignerDLR, formerly Saarland UniversityVerified email at cs.uni-saarland.de
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at csp.mpg.de
Stefano CalzavaraUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
Dominique SchröderFull Professor, Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de
Sebastian GerlingCISPA, Saarland Informatics Campus, Saarland UniversityVerified email at cs.uni-saarland.de
Christian HammerProfessor of Computer Science at University of PotsdamVerified email at cs.uni-potsdam.de
Philipp von Styp-RekowskyCISPA, Saarland UniversityVerified email at cs.uni-saarland.de
Véronique CortierCNRS, LORIAVerified email at loria.fr
Dominique UnruhUniversity of TartuVerified email at ut.ee
Agostino CortesiUniversità Ca Foscari VeneziaVerified email at unive.it
Gerhard WeikumProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Christos TryfonopoulosUniversity of the PeloponneseVerified email at uop.gr
Esfandiar MohammadiAssociate Professor (W2), Universität zu Lübeck, LübeckVerified email at uni-luebeck.de
Steve KremerInriaVerified email at inria.fr

Matteo Maffei

Full Professor at TU Wien

Verified email at tuwien.ac.at - Homepage

Program Verification Mobile Security Web Security Cryptographic Protocols Cryptocurrencies and Blockchain Technologies


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automated verification of remote electronic voting protocols in the applied pi-calculus M Backes, C Hritcu, M Maffei 2008 21st IEEE Computer Security Foundations Symposium, 195-209, 2008	232	2008
Appguard–enforcing user requirements on android apps M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky International Conference on TOOLS and Algorithms for the Construction and …, 2013	194	2013
Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol M Backes, M Maffei, D Unruh 2008 IEEE Symposium on Security and Privacy (sp 2008), 202-215, 2008	190	2008
A semantic framework for the security analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind International Conference on Principles of Security and Trust, 243-269, 2018	169	2018
Obliviad: Provably secure and practical online behavioral advertising M Backes, A Kate, M Maffei, K Pecina 2012 IEEE Symposium on Security and Privacy, 257-271, 2012	131	2012
Concurrency and privacy with payment-channel networks G Malavolta, P Moreno-Sanchez, A Kate, M Maffei, S Ravi Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	121	2017
Type-checking zero-knowledge M Backes, C Hritcu, M Maffei Proceedings of the 15th ACM conference on Computer and communications …, 2008	88	2008
A Security API for Distributed Social Networks. M Backes, M Maffei, K Pecina Ndss 11, 35-51, 2011	79	2011
Anonymous multi-hop locks for blockchain scalability and interoperability G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei 26th Annual Network and Distributed System Security Symposium, NDSS 2019, 2019	78*	2019
Computationally sound verification of source code M Backes, M Maffei, D Unruh Proceedings of the 17th ACM conference on Computer and communications …, 2010	77	2010
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks. G Malavolta, P Moreno-Sanchez, A Kate, M Maffei NDSS, 2017	73	2017
Privacy and access control for outsourced personal records M Maffei, G Malavolta, M Reinert, D Schröder 2015 IEEE Symposium on Security and Privacy, 341-358, 2015	65	2015
Appguard-real-time policy enforcement for third-party applications M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky	63	2012
AppGuard–Fine-grained policy enforcement for untrusted Android applications M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky Data Privacy Management and Autonomous Spontaneous Security, 213-231, 2013	60	2013
Foundations and tools for the static analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind International Conference on Computer Aided Verification, 51-78, 2018	55	2018
Privacy preserving payments in credit networks P Moreno-Sanchez, A Kate, M Maffei, K Pecina Network and Distributed Security Symposium, 2015	55	2015
Anonymous webs of trust M Backes, S Lorenz, M Maffei, K Pecina International Symposium on Privacy Enhancing Technologies Symposium, 130-148, 2010	47	2010
Differentially private data aggregation with optimal utility F Eigner, A Kate, M Maffei, F Pampaloni, I Pryvalov Proceedings of the 30th Annual Computer Security Applications Conference …, 2014	43	2014
Automated synthesis of privacy-preserving distributed applications M Backes, M Maffei, K Pecina Proc. of ISOC NDSS, 2012	42	2012
Causality-based abstraction of multiplicity in security protocols M Backes, A Cortesi, M Maffei 20th IEEE Computer Security Foundations Symposium (CSF'07), 355-369, 2007	42*	2007

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

Upload PDF

Follow this author

Cited by

Co-authors