Matteo Maffei
Matteo Maffei
Full Professor at TU Wien, Head of the Security and Privacy Research Unit
Verified email at tuwien.ac.at - Homepage
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
2282008
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
1822013
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
1812008
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
1562018
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
1262012
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
1102017
Type-checking zero-knowledge
M Backes, C Hritcu, M Maffei
Proceedings of the 15th ACM conference on Computer and communications …, 2008
852008
Computationally sound verification of source code
M Backes, M Maffei, D Unruh
Proceedings of the 17th ACM conference on Computer and communications …, 2010
752010
A Security API for Distributed Social Networks.
M Backes, M Maffei, K Pecina
Ndss 11, 35-51, 2011
742011
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks.
G Malavolta, P Moreno-Sanchez, A Kate, M Maffei
NDSS, 2017
662017
Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability.
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
NDSS, 2019
63*2019
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
602015
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
582013
Appguard-real-time policy enforcement for third-party applications
M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky
582012
Privacy preserving payments in credit networks
P Moreno-Sanchez, A Kate, M Maffei, K Pecina
Network and Distributed Security Symposium, 2015
542015
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
482018
Anonymous webs of trust
M Backes, S Lorenz, M Maffei, K Pecina
International Symposium on Privacy Enhancing Technologies Symposium, 130-148, 2010
452010
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
412007
Automated synthesis of privacy-preserving distributed applications
M Backes, M Maffei, K Pecina
Proc. of ISOC NDSS, 2012
402012
Union and intersection types for secure protocol implementations
M Backes, C Hriţcu, M Maffei
Joint Workshop on Theory of Security and Applications, 1-28, 2011
402011
The system can't perform the operation now. Try again later.
Articles 1–20