Kim Pecina

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