Matteo Maffei

Citée par

	Toutes	Depuis 2020
Citations	5505	3069
indice h	39	27
indice i10	80	47

700

350

175

525

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 20 14 34 46 91 73 155 156 254 217 285 173 216 267 319 463 560 624 686 664 67

Accès public

Tout afficher

77 articles

3 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.saarland
Pedro Moreno-SanchezAssistant Research Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Aniket KatePurdue University / Supra ResearchAdresse e-mail validée de purdue.edu
Kim PecinaDIaLOGIKa GmbHAdresse e-mail validée de dialogika.de
Riccardo FocardiDAIS, Ca' Foscari University, VeniceAdresse e-mail validée de unive.it
Stefano CalzavaraUniversità Ca' Foscari VeneziaAdresse e-mail validée de unive.it
Fabienne EignerDLR, formerly Saarland UniversityAdresse e-mail validée de cs.uni-saarland.de
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaAdresse e-mail validée de unive.it
Cătălin HrițcuTenured Faculty at MPI-SPAdresse e-mail validée de mpi-sp.org
Sebastian GerlingUniversität HamburgAdresse e-mail validée de sebastiangerling.de
Christian HammerProfessor of Computer Science at University of PassauAdresse e-mail validée de uni-passau.de
Philipp von Styp-RekowskyCISPA, Saarland UniversityAdresse e-mail validée de cs.uni-saarland.de
Véronique CortierCNRS, LORIAAdresse e-mail validée de loria.fr
Dominique UnruhUniversity of TartuAdresse e-mail validée de ut.ee
Steve KremerInriaAdresse e-mail validée de inria.fr
Gerhard WeikumProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusAdresse e-mail validée de mpi-inf.mpg.de
Christos TryfonopoulosUniversity of the PeloponneseAdresse e-mail validée de uop.gr
Esfandiar MohammadiAssociate Professor (W2), Universität zu Lübeck, LübeckAdresse e-mail validée de uni-luebeck.de
Thorsten TarrachAmazon Web ServicesAdresse e-mail validée de amazon.com
Fabian BendunSaarland UniversityAdresse e-mail validée de cs.uni-saarland.de

Suivre

Matteo Maffei

Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center

Adresse e-mail validée de tuwien.ac.at - Page d'accueil

Formal Methods Web Security Cryptography Cryptocurrencies


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
A semantic framework for the security analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018	399	2018
Anonymous multi-hop locks for blockchain scalability and interoperability G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei Cryptology ePrint Archive, 2018	354	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	351	2017
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	253	2008
Appguard–enforcing user requirements on android apps M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	229	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	208	2008
Silentwhispers: Enforcing security and privacy in decentralized credit networks G Malavolta, P Moreno-Sanchez, A Kate, M Maffei Cryptology ePrint Archive, 2016	201	2016
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	179	2012
ethor: Practical and provably sound static analysis of ethereum smart contracts C Schneidewind, I Grishchenko, M Scherer, M Maffei Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020	165	2020
Generalized channels from limited blockchain scripts and adaptor signatures L Aumayr, O Ersoy, A Erwig, S Faust, K Hostáková, M Maffei, ... Advances in Cryptology–ASIACRYPT 2021: 27th International Conference on the …, 2021	138*	2021
A²L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs E Tairi, P Moreno-Sanchez, M Maffei 2021 IEEE symposium on security and privacy (SP), 1834-1851, 2021	137*	2021
Atomic multi-channel updates with constant collateral in bitcoin-compatible payment-channel networks C Egger, P Moreno-Sanchez, M Maffei Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019	123	2019
Foundations and tools for the static analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	123	2018
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	99	2015
HornDroid: Practical and sound static analysis of Android applications by SMT solving S Calzavara, I Grishchenko, M Maffei 2016 IEEE European Symposium on Security and Privacy (EuroS&P), 47-62, 2016	94	2016
A Security API for Distributed Social Networks. M Backes, M Maffei, K Pecina Ndss 11, 35-51, 2011	87	2011
Type-checking zero-knowledge M Backes, C Hritcu, M Maffei Proceedings of the 15th ACM conference on Computer and communications …, 2008	87	2008
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	83	2014
Computationally sound verification of source code M Backes, M Maffei, D Unruh Proceedings of the 17th ACM conference on Computer and communications …, 2010	83	2010
Privacy preserving payments in credit networks P Moreno-Sanchez, A Kate, M Maffei, K Pecina Network and distributed security symposium, 2015	82	2015

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs