Cătălin Hriţcu
Third-year PhD student in Computer Science at Saarland University
Information Security and Cryptography Group
Research Interests
- Language-based Security
- Program Analysis and Verification
- Semantics of Programming Languages
- Formal Methods in Software Engineering
Recent Publications and Drafts
- Cătălin Hriţcu, Jan Schwinghammer. A Step-indexed Semantics of Imperative Objects, Logical Methods in Computer Science (LMCS), 5(4), December 2009.
- Michael Backes, Cătălin Hriţcu, Matteo Maffei, and Thorsten Tarrach. Type-checking Implementations of Protocols Based on Zero-knowledge Proofs - Work in Progress. Presented at the Workshop on Foundations of Computer Security (FCS 2009), August 2009.
- Michael Backes, Martin Grochulla, Cătălin Hriţcu, and Matteo Maffei. Achieving Security Despite Compromise Using Zero-knowledge. 22th IEEE Symposium on Computer Security Foundations (CSF 2009), July 2009.
- Michael Backes, Cătălin Hriţcu, and Matteo Maffei. Type-checking Zero-knowledge. 15th ACM Conference on Computer and Communications Security (CCS 2008), October 2008.
- Full version that additionally contains all the technical details of the type system, a brief discussion about security despite compromise, and all the proofs, November 2008.
- Prototype implementation of the type-checker for zero-knowledge by Stefan Lorenz, Kim Pecina, Cătălin Hriţcu, and Thorsten Tarrach, September 2008.
- A preliminary version of this paper was presented at FCS-ARSPA-WITS'08, June 2008.
- Michael Backes, Cătălin Hriţcu, and Matteo Maffei. Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus. 21th IEEE Symposium on Computer Security Foundations (CSF 2008), June 2008.
- Cătălin Hriţcu. Step-indexed Semantic Model of Types for the Functional Object Calculus. Master's Thesis, Advisor: Jan Schwinhammer, Saarland University, May 2007.
Here is a complete list.
Recent and Upcoming Talks
- Semantic Subtyping with an SMT Solver
- Type-checking Implementations of Protocols Based on Zero-knowledge Proofs - Work in Progress
- Achieving Security Despite Compromise Using Zero-knowledge
- Security problems in network protocols; TLS
- Control Hijacking: Defenses
- Control Hijacking Attacks
- Type-checking Zero-knowledge
- Automatic Verification of Remote Electronic Voting Protocols
- Evidence-based Audit (presented only)
- Refinement Types for Secure Implementations (presented only)
Here is a complete list.
Students
Tools
Teaching Assistant
Contact
E-mail (preferred): catalin.hritcu@gmail.com
Office: Campus, Building E1.1, Room 2.10
Office Phone: +49-(0)681-302-57377
Mobile Phone: +49-(0)17620748899
Fax: +49-(0)681-302-57365
- Postal Address:
-
Saarland University, Computer Science Department
Information Security and Cryptography Group, Prof. Dr. Michael Backes
PO Box 151150, D-66041 Saarbrücken, Germany
(More ways to find me)
Misc
