Kim Pecina
Titel
Geciteerd door
Geciteerd door
Jaar
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
1162012
A Security API for Distributed Social Networks.
M Backes, M Maffei, K Pecina
Ndss 11, 35-51, 2011
752011
Privacy preserving payments in credit networks
P Moreno-Sanchez, A Kate, M Maffei, K Pecina
Network and Distributed Security Symposium, 2015
502015
Anonymous webs of trust
M Backes, S Lorenz, M Maffei, K Pecina
International Symposium on Privacy Enhancing Technologies Symposium, 130-148, 2010
442010
Automated synthesis of privacy-preserving distributed applications
M Backes, M Maffei, K Pecina
Proc. of ISOC NDSS, 2012
402012
Security and privacy by declarative design
M Maffei, K Pecina, M Reinert
2013 IEEE 26th Computer Security Foundations Symposium, 81-96, 2013
322013
The CASPA tool: Causality-based abstraction for security protocol analysis
M Backes, S Lorenz, M Maffei, K Pecina
Computer Aided Verification, 419-422, 2008
252008
Position Paper: Privacy-Aware Proof-Carrying Authorization
M Maffei, K Pecina
Proc. ACM SIGPLAN Workshop on Programming Languages and Analysis for …, 2011
20*2011
G2C: Cryptographic Protocols From Goal-Driven Specifications
M Backes, M Maffei, K Pecina, R Reischuk
Theory of Security and Applications, 57-77, 2012
192012
Brief Announcement: Securing social networks
M Backes, M Maffei, K Pecina
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of …, 2011
132011
Anonymity and Trust in Distributed Systems
M Backes, S Lorenz, M Maffei, K Pecina
122010
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
112015
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
42014
Caspa: Causality-based abstraction for security protocol analysis
M Backes, S Lorenz, M Maffei, K Pecina
22008
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
12010
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
The CASPA Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper)
M Backes, S Lorenz, M Maffei, K Pecina
A Security API for Distributed Social Networks
K Pecina
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20