Homepage of Kim Pecina

Contact

Kim Pecina
Phone: +49-681-302-70783
Fax: +49-681-302-71942
Email: pecina(at)cs.uni-saarland.de
Threema: EYBW9K4F
Address: Saarland University - Computer Science Department
Campus E1.7, Room 2.11
PO Box 151150
66041 Saarbrücken, Germany

I am a PhD student at the Secure and Privacy-preserving Systems Group at the Computer Science Department of Saarland University, Germany.
I am a co-founder and CEO of peloba UG (haftungsbeschränkt) & Co. KG, a software development and consulting company. Furthermore, I am the CEO of bitZMarket UG (haftungsbeschränkt) and Otaku Dojo.

Publications

  • Symbolic Malleable Zero-knowledge Proofs
    Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina
    Accepted at 28th Computer Security Foundations Symposium (CSF'15), 2015
  • Privacy Preserving Payments in Credit Networks
    Aniket Kate, Matteo Maffei, Pedro Moreno-Sanchez, and Kim Pecina
    Accepted at 22th Annual Network & Distributed System Security Symposium (NDSS'15), 2015
  • Zero-Communication Seed Establishment for Anti-Jamming Techniques
    Kim Pecina, Esfandiar Mohammadi, and Christina Pöpper.
    Accepted at 1st Workshop on Security of Emerging Networking Technologies (SENT'14), 2014
    (pdf)  (project page)
  • Security and Privacy by Declarative Design
    Matteo Maffei, Kim Pecina, and Manuel Reinert.
    Accepted at 26th Computer Security Foundations Symposium (CSF'13), 2013
    (pdf)  (bibtex)  (project page)
  • ObliviAd: Provably Secure and Practical Online Behavioral Advertising
    Michael Backes, Aniket Kate, Matteo Maffei, and Kim Pecina.
    Accepted at 33rd IEEE Symposium on Security and Privacy (S&P'12), 2012
    (pdf)  (bibtex)  (project page)
  • Automated Synthesis of Privacy-Preserving Distributed Applications
    Michael Backes, Matteo Maffei, and Kim Pecina.
    Accepted at 19th Annual Network & Distributed System Security Symposium (NDSS'12), 2012
    (pdf)  (bibtex)  (project page)
  • Position Paper: Privacy-Aware Proof-Carrying Authorization
    Matteo Maffei and Kim Pecina.
    Accepted at 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS'11), 2011
    (pdf)  (bibtex)
  • Brief Announcement: Securing Social Networks
    Michael Backes, Matteo Maffei, and Kim Pecina.
    Accepted at 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC'11), 2011
    (pdf)  (bibtex)
  • G2C: Cryptographic Protocols From Goal-Driven Specifications
    Michael Backes, Matteo Maffei, Kim Pecina, and Raphael Reischuk.
    Accepted at Theory of Security and Applications (TOSCA'11, formerly ARSPA-WITS), 2011
    (pdf)  (bibtex)  (project page)
  • A Security API for Distributed Social Networks
    Michael Backes, Matteo Maffei, and Kim Pecina.
    Accepted at 18th Annual Network & Distributed System Security Symposium (NDSS'11), 2011
    (pdf)  (bibtex)   (project page)
  • Brief Announcement: Anonymity and Trust in Distributed Systems
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    Accepted at 29th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC'10), 2010
    (pdf)  (bibtex)
  • Anonymous Webs of Trust
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    Accepted at 10th Privacy Enhancing Technologies Symposium (PETS'10), 2010
    (pdf)  (pdf long version)  (bibtex)   (project page)
  • The CASPA Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper)
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    Accepted at 20th International Conference on Computer Aided Verification (CAV'08), 2008
    (pdf)  (bibtex)

Non-Scientific Publications

Teaching

I am/was involved in the following courses:
  • Language-based Security (Teaching Assistent)
  • Cryptography (Tutor)
  • Grundzüge der Algorithmik und Datenstrukturen (basic course on algorithms and datastructures) (Tutor)
  • System Architecture (Tutor)
  • Programmierung 2 (Tutor)
  • Programmierung 1 (Tutor)
  • Mathematischer Vorkurs für Informatiker (preparatory course) (Tutor)

Hobbies and Spare-Time Activities

When I am not doing research at the university, I am a member of the Regattaverein Saar e.V., organizing dragon boat races.