Theo dõi
Matteo Maffei
Matteo Maffei
Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center
Email được xác minh tại tuwien.ac.at - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
3952018
Anonymous multi-hop locks for blockchain scalability and interoperability
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
Cryptology ePrint Archive, 2018
3632018
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
3562017
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
2492008
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
2282013
Silentwhispers: Enforcing security and privacy in decentralized credit networks
G Malavolta, P Moreno-Sanchez, A Kate, M Maffei
Cryptology ePrint Archive, 2016
2112016
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
2052008
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
1802012
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
1622020
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
142*2021
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
139*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
1282019
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
1232018
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
982015
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
942016
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
Privacy preserving payments in credit networks
P Moreno-Sanchez, A Kate, M Maffei, K Pecina
Network and distributed security symposium, 2015
842015
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
832014
Computationally sound verification of source code
M Backes, M Maffei, D Unruh
Proceedings of the 17th ACM conference on Computer and communications …, 2010
792010
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20