Kim Pecina

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 2

Top Topics

Security Services

Privacy Preserving

Provably Secure

Online Marketplaces

Top Venues

IEEE Symposium on Security and Privacy

Publications

Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina
Symbolic Malleable Zero-Knowledge Proofs. CSF (2015)
Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Kim Pecina
Privacy Preserving Payments in Credit Networks: Enabling trust with privacy in online marketplaces. NDSS (2015)
Matteo Maffei, Kim Pecina, Manuel Reinert
Security and Privacy by Declarative Design. CSF (2013)
Michael Backes, Aniket Kate, Matteo Maffei, Kim Pecina
ObliviAd: Provably Secure and Practical Online Behavioral Advertising. IEEE Symposium on Security and Privacy (2012)
Michael Backes, Matteo Maffei, Kim Pecina
Automated Synthesis of Secure Distributed Applications. NDSS (2012)
Michael Backes, Matteo Maffei, Kim Pecina
Securing social networks. PODC (2011)
Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk
G2C: Cryptographic Protocols from Goal-Driven Specifications. TOSCA (2011)
Michael Backes, Matteo Maffei, Kim Pecina
A Security API for Distributed Social Networks. NDSS (2011)
Matteo Maffei, Kim Pecina
Privacy-aware proof-carrying authorization. PLAS (2011)
Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
Brief announcement: anonymity and trust in distributed systems. PODC (2010)
Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
Anonymous Webs of Trust. Privacy Enhancing Technologies (2010)
Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. CAV (2008)