Matteo Maffei

Cited by

	All	Since 2016
Citations	3038	1593
h-index	32	20
i10-index	60	35

500

250

125

375

20042005200620072008200920102011201220132014201520162017201820192020202112 25 13 34 43 95 74 158 158 245 220 284 143 225 268 325 486 143

New!

Public access

View all

38 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Kim PecinaSaarland UniversityVerified email at cs.uni-saarland.de
Pedro Moreno-SanchezAssistant Research ProfessorVerified email at imdea.org
Aniket KatePurdue UniversityVerified email at purdue.edu
Riccardo FocardiDAIS, Ca' Foscari University, VeniceVerified email at unive.it
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 mpi-sp.org
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	234	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	198	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	192	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	185	2018
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	137	2017
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	133	2012
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	92*	2019
Type-checking zero-knowledge M Backes, C Hritcu, M Maffei Proceedings of the 15th ACM conference on Computer and communications …, 2008	88	2008
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks. G Malavolta, P Moreno-Sanchez, A Kate, M Maffei NDSS, 2017	81	2017
A Security API for Distributed Social Networks. M Backes, M Maffei, K Pecina Ndss 11, 35-51, 2011	79	2011
Computationally sound verification of source code M Backes, M Maffei, D Unruh Proceedings of the 17th ACM conference on Computer and communications …, 2010	78	2010
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	66	2015
Appguard-real-time policy enforcement for third-party applications M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky	65	2012
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	62	2018
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	62	2013
Privacy preserving payments in credit networks P Moreno-Sanchez, A Kate, M Maffei, K Pecina Network and Distributed Security Symposium, 2015	57	2015
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	47	2014
Anonymous webs of trust M Backes, S Lorenz, M Maffei, K Pecina International Symposium on Privacy Enhancing Technologies Symposium, 130-148, 2010	47	2010
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