The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. - Michael Backes 001; Stefan Lorenz; Matteo Maffei; Kim Pecina (CAV, 2008)

Anonymous Webs of Trust. - Michael Backes 001; Stefan Lorenz; Matteo Maffei; Kim Pecina (Privacy Enhancing Technologies, 2010)

Brief announcement: anonymity and trust in distributed systems. - Michael Backes 001; Stefan Lorenz; Matteo Maffei; Kim Pecina (PODC, 2010)

A Security API for Distributed Social Networks. - Michael Backes 001; Matteo Maffei; Kim Pecina (NDSS, 2011)

Privacy-aware proof-carrying authorization. - Matteo Maffei; Kim Pecina (PLAS, 2011)

Securing social networks. - Michael Backes 001; Matteo Maffei; Kim Pecina (PODC, 2011)

G2C: Cryptographic Protocols from Goal-Driven Specifications. - Michael Backes 001; Matteo Maffei; Kim Pecina; Raphael M. Reischuk (TOSCA, 2011)

Automated Synthesis of Secure Distributed Applications. - Michael Backes 001; Matteo Maffei; Kim Pecina (NDSS, 2012)

ObliviAd: Provably Secure and Practical Online Behavioral Advertising. - Michael Backes 001; Aniket Kate; Matteo Maffei; Kim Pecina (IEEE Symposium on Security and Privacy, 2012)

Security and Privacy by Declarative Design. - Matteo Maffei; Kim Pecina; Manuel Reinert (CSF, 2013)

Symbolic Malleable Zero-Knowledge Proofs. - Michael Backes 001; Fabian Bendun; Matteo Maffei; Esfandiar Mohammadi; Kim Pecina (CSF, 2015)

Privacy Preserving Payments in Credit Networks: Enabling trust with privacy in online marketplaces. - Pedro Moreno-Sanchez; Aniket Kate; Matteo Maffei; Kim Pecina (NDSS, 2015)

Trustworthy and privacy-preserving processing of personal information: cryptographic constructions, protocols, and tools. - Kim Rouven Pecina (2016)