Seguir
Matteo Maffei
Matteo Maffei
Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center, Key Researcher SBA Research
Dirección de correo verificada de tuwien.ac.at - Página principal
Título
Citado por
Citado por
Año
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
3602018
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
3152017
Anonymous multi-hop locks for blockchain scalability and interoperability
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
Cryptology ePrint Archive, 2018
3032018
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
2502008
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
2242013
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
2042008
Silentwhispers: Enforcing security and privacy in decentralized credit networks
G Malavolta, P Moreno-Sanchez, A Kate, M Maffei
Cryptology ePrint Archive, 2016
1812016
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
1732012
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
1372020
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
1142018
A2L: 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
111*2021
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
105*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
1052019
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
932015
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
892016
A Security API for Distributed Social Networks.
M Backes, M Maffei, K Pecina
Ndss 11, 35-51, 2011
872011
Type-checking zero-knowledge
M Backes, C Hritcu, M Maffei
Proceedings of the 15th ACM conference on Computer and communications …, 2008
872008
Computationally sound verification of source code
M Backes, M Maffei, D Unruh
Proceedings of the 17th ACM conference on Computer and communications …, 2010
822010
Privacy preserving payments in credit networks
P Moreno-Sanchez, A Kate, M Maffei, K Pecina
Network and distributed security symposium, 2015
812015
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
772014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20