| 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 | 179 | 2012 |
| A Security API for Distributed Social Networks. M Backes, M Maffei, K Pecina Ndss 11, 35-51, 2011 | 87 | 2011 |
| Privacy preserving payments in credit networks P Moreno-Sanchez, A Kate, M Maffei, K Pecina Network and distributed security symposium, 2015 | 82 | 2015 |
| Anonymous webs of trust M Backes, S Lorenz, M Maffei, K Pecina Privacy Enhancing Technologies: 10th International Symposium, PETS 2010 …, 2010 | 49 | 2010 |
| Automated synthesis of privacy-preserving distributed applications M Backes, M Maffei, K Pecina Proc. of ISOC NDSS, 2012 | 46 | 2012 |
| Security and privacy by declarative design M Maffei, K Pecina, M Reinert 2013 IEEE 26th Computer Security Foundations Symposium, 81-96, 2013 | 39 | 2013 |
| The CASPA tool: Causality-based abstraction for security protocol analysis M Backes, S Lorenz, M Maffei, K Pecina Computer Aided Verification, 419-422, 2008 | 26 | 2008 |
| Position Paper: Privacy-Aware Proof-Carrying Authorization M Maffei, K Pecina Proc. ACM SIGPLAN Workshop on Programming Languages and Analysis for …, 2011 | 23* | 2011 |
| G2C: Cryptographic Protocols From Goal-Driven Specifications M Backes, M Maffei, K Pecina, R Reischuk Theory of Security and Applications, 57-77, 2012 | 20 | 2012 |
| Symbolic Malleable Zero-Knowledge Proofs M Backes, F Bendun, M Maffei, E Mohammadi, K Pecina 2015 IEEE 28th Computer Security Foundations Symposium, 412-426, 2015 | 15 | 2015 |
| Brief Announcement: Securing social networks M Backes, M Maffei, K Pecina Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of …, 2011 | 15 | 2011 |
| Anonymity and Trust in Distributed Systems M Backes, S Lorenz, M Maffei, K Pecina | 12 | 2010 |
| Zero-Communication Seed Establishment for Anti-Jamming Techniques K Pecina, E Mohammadi, C Pöpper Proc. 1st NDSS Workshop on Security of Emerging Networking Technologies …, 2014 | 4 | 2014 |
| Brief announcement: anonymity and trust in distributed systems M Backes, S Lorenz, M Maffei, K Pecina Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010 | 2 | 2010 |
| Caspa: Causality-based abstraction for security protocol analysis M Backes, S Lorenz, M Maffei, K Pecina | 2 | 2008 |
| Messungen im Straßenverkehr: Fehlerquellen bei Geschwindigkeits-und Abstandsmessung, Rotlichtüberwachung, Bildidentifikation, Atemalkoholmessung, Gewerblicher Güter-und … T Andres, J Backes, D Bellmann, S Brückner, S Eichler, D Groß, M Grün, ... ZAP, 2017 | | 2017 |
| Symbolic Malleable Zero-knowledge Proofs E Mohammadi, F Bendun, K Pecina, M Maffei, M Backes | | 2015 |
| Trustworthy and privacy-preserving processing of personal information: cryptographic constructions, protocols, and tools KR Pecina | | 2015 |
| Mechanized verification of Security Protocols Using Causality-based Abstractions K Pecina Saarland University, 2007 | | 2007 |
| Trustworthy and Privacy-Preserving Processing of Personal Information KR Pecina | | |
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterAdresse e-mail validée de tuwien.ac.at