Contact Kim Pecina Phone: +49-681-302-70783 Fax: +49-681-302-57365 Email: pecina(at)cs(dot)uni-saarland(dot)de 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 Language-based Security Group at the Computer Science Department of Saarland University , Germany.

• 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)  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)  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)
• 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)

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)

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