Kim Pecina (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Michael Backes, Matteo Maffei, Kim Pecina: A Security API for Distributed Social Networks. NDSS 2011

5 Michael Backes, Matteo Maffei, Kim Pecina: Securing social networks. PODC 2011: 341-342

4 Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk: G2C: Cryptographic Protocols from Goal-Driven Specifications. TOSCA 2011: 57-77

3 Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: Brief announcement: anonymity and trust in distributed systems. PODC 2010: 237-238

2 Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: Anonymous Webs of Trust. Privacy Enhancing Technologies 2010: 130-148

1 Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. CAV 2008: 419-422

Selection of 6 from 6 records - Kim Pecina has 4 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

6		Michael Backes, Matteo Maffei, Kim Pecina: A Security API for Distributed Social Networks. NDSS 2011
5		Michael Backes, Matteo Maffei, Kim Pecina: Securing social networks. PODC 2011: 341-342
4		Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk: G2C: Cryptographic Protocols from Goal-Driven Specifications. TOSCA 2011: 57-77
3		Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: Brief announcement: anonymity and trust in distributed systems. PODC 2010: 237-238
2		Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: Anonymous Webs of Trust. Privacy Enhancing Technologies 2010: 130-148
1		Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. CAV 2008: 419-422