Matteo Maffei
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
2352008
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
2002013
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
1952018
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
1932008
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
1442017
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
1362012
Anonymous multi-hop locks for blockchain scalability and interoperability
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
26th Annual Network and Distributed System Security Symposium, NDSS 2019, 2019
101*2019
Type-checking zero-knowledge
M Backes, C Hritcu, M Maffei
Proceedings of the 15th ACM conference on Computer and communications …, 2008
882008
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks.
G Malavolta, P Moreno-Sanchez, A Kate, M Maffei
NDSS, 2017
852017
A Security API for Distributed Social Networks.
M Backes, M Maffei, K Pecina
Ndss 11, 35-51, 2011
792011
Computationally sound verification of source code
M Backes, M Maffei, D Unruh
Proceedings of the 17th ACM conference on Computer and communications …, 2010
782010
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
672015
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
662018
Appguard-real-time policy enforcement for third-party applications
M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky
642012
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
622013
Privacy preserving payments in credit networks
P Moreno-Sanchez, A Kate, M Maffei, K Pecina
Network and Distributed Security Symposium, 2015
592015
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
492014
Anonymous webs of trust
M Backes, S Lorenz, M Maffei, K Pecina
International Symposium on Privacy Enhancing Technologies Symposium, 130-148, 2010
472010
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
452016
Automated synthesis of privacy-preserving distributed applications
M Backes, M Maffei, K Pecina
Proc. of ISOC NDSS, 2012
422012
The system can't perform the operation now. Try again later.
Articles 1–20