Follow
Kim Pecina
Kim Pecina
DIaLOGIKa GmbH
Verified email at dialogika.de
Title
Cited by
Cited by
Year
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
1652012
A Security API for Distributed Social Networks.
M Backes, M Maffei, K Pecina
Ndss 11, 35-51, 2011
872011
Privacy preserving payments in credit networks
P Moreno-Sanchez, A Kate, M Maffei, K Pecina
Network and distributed security symposium, 2015
822015
Anonymous webs of trust
M Backes, S Lorenz, M Maffei, K Pecina
Privacy Enhancing Technologies: 10th International Symposium, PETS 2010 …, 2010
492010
Automated synthesis of privacy-preserving distributed applications
M Backes, M Maffei, K Pecina
Proc. of ISOC NDSS, 2012
452012
Security and privacy by declarative design
M Maffei, K Pecina, M Reinert
2013 IEEE 26th Computer Security Foundations Symposium, 81-96, 2013
392013
The CASPA tool: Causality-based abstraction for security protocol analysis
M Backes, S Lorenz, M Maffei, K Pecina
Computer Aided Verification, 419-422, 2008
262008
Position Paper: Privacy-Aware Proof-Carrying Authorization
M Maffei, K Pecina
Proc. ACM SIGPLAN Workshop on Programming Languages and Analysis for …, 2011
23*2011
G2C: Cryptographic Protocols From Goal-Driven Specifications
M Backes, M Maffei, K Pecina, R Reischuk
Theory of Security and Applications, 57-77, 2012
202012
Brief Announcement: Securing social networks
M Backes, M Maffei, K Pecina
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of …, 2011
152011
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
142015
Anonymity and Trust in Distributed Systems
M Backes, S Lorenz, M Maffei, K Pecina
122010
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
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
22010
Caspa: Causality-based abstraction for security protocol analysis
M Backes, S Lorenz, M Maffei, K Pecina
22008
Messungen im Straßenverkehr: Fehlerquellen bei Geschwindigkeits-und Abstandsmessung, Rotlichtüberwachung, Bildidentifikation, Atemalkoholmessung, Gewerblicher Güter-und …
T Andres, J Backes, D Bellmann, S Brückner, S Eichler, D Groß, M Grün, ...
ZAP, 2017
2017
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
Trustworthy and Privacy-Preserving Processing of Personal Information
KR Pecina
The system can't perform the operation now. Try again later.
Articles 1–20