Matteo Maffei

Navedeno

	Vse	Od leta 2020
Navedbe	5541	3113
indeks h	39	27
indeks i10	81	48

700

350

175

525

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 20 14 36 45 90 77 154 153 244 215 282 174 221 267 319 457 561 620 679 683 108

Javni dostop

Prikaži vse

76 člankov

2 članka

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityPreverjeni e-poštni naslov na cispa.saarland
Pedro Moreno-SanchezAssistant Research Professor, IMDEA Software InstitutePreverjeni e-poštni naslov na imdea.org
Aniket KatePurdue University / Supra ResearchPreverjeni e-poštni naslov na purdue.edu
Kim PecinaDIaLOGIKa GmbHPreverjeni e-poštni naslov na dialogika.de
Riccardo FocardiDAIS, Ca' Foscari University, VenicePreverjeni e-poštni naslov na unive.it
Stefano CalzavaraUniversità Ca' Foscari VeneziaPreverjeni e-poštni naslov na unive.it
Fabienne EignerDLR, formerly Saarland UniversityPreverjeni e-poštni naslov na cs.uni-saarland.de
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaPreverjeni e-poštni naslov na unive.it
Cătălin HrițcuTenured Faculty at MPI-SPPreverjeni e-poštni naslov na mpi-sp.org
Véronique CortierCNRS, LORIAPreverjeni e-poštni naslov na loria.fr
Sebastian GerlingUniversität HamburgPreverjeni e-poštni naslov na sebastiangerling.de
Christian HammerProfessor of Computer Science at University of PassauPreverjeni e-poštni naslov na uni-passau.de
Philipp von Styp-RekowskyCISPA, Saarland UniversityPreverjeni e-poštni naslov na cs.uni-saarland.de
Dominique UnruhUniversity of TartuPreverjeni e-poštni naslov na ut.ee
Steve KremerInriaPreverjeni e-poštni naslov na inria.fr
Gerhard WeikumProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusPreverjeni e-poštni naslov na mpi-inf.mpg.de
Christos TryfonopoulosUniversity of the PeloponnesePreverjeni e-poštni naslov na uop.gr
Esfandiar MohammadiAssociate Professor (W2), Universität zu Lübeck, LübeckPreverjeni e-poštni naslov na uni-luebeck.de
Thorsten TarrachAmazon Web ServicesPreverjeni e-poštni naslov na amazon.com
Fabian BendunSaarland UniversityPreverjeni e-poštni naslov na cs.uni-saarland.de

Spremljaj

Matteo Maffei

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

Preverjeni e-poštni naslov na tuwien.ac.at - Domača stran

Formal Methods Web Security Cryptography Cryptocurrencies


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	394	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	361	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	354	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	249	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	228	2013
Silentwhispers: Enforcing security and privacy in decentralized credit networks G Malavolta, P Moreno-Sanchez, A Kate, M Maffei Cryptology ePrint Archive, 2016	210	2016
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	205	2008
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	180	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	162	2020
Generalized channels from limited blockchain scripts and adaptor signatures L Aumayr, O Ersoy, A Erwig, S Faust, K Hostáková, M Maffei, ... International Conference on the Theory and Application of Cryptology and …, 2021	141*	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	138*	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	128	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	98	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
Privacy preserving payments in credit networks P Moreno-Sanchez, A Kate, M Maffei, K Pecina Network and distributed security symposium, 2015	83	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	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	79	2010

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji