Ad Astra Awards
Ad Astra Journal
Science library
White book
University rankings
Who's who
Publications
Theses and dissertations
Ad Astra association
 
Press releases
News
Events
Funding opportunities
 
Login
Registration
 
>> Românã
 
   
 

Catalin Hritcu

University of Pennsylvania, Philadelphia, USA

Institution web page: http://www.cis.upenn.edu
Personal web page: http://www.infsec.cs.uni-saarland.de/~hritcu/
Send email

Born: 1982

Interests: Language-based Security, Program Analysis and Verification, Semantics of Programming Languages, Formal Methods in Software Engineering

Details:
Research Associate

Selected publications:
• Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Catalin Hritcu, Vilhelm Sj÷berg, and Brent Yorgey. Software Foundations. Electronic textbook, 2012.
• Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David Langworthy. Semantic Subtyping with an SMT Solver. Journal of Functional Programming, 1, pp. 31-105, 2012.
• Michael Backes, Alex Busenius, Catalin Hritcu. On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. In 4th NASA Formal Methods Symposium (NFM 2012), pp. 371-387. Springer, 2012.
• Michael Backes, Catalin Hritcu, Thorsten Tarrach. Automatically Verifying Typing Constraints for a Data Processing Language. In First International Conference on Certified Programs and Proofs (CPP 2011), pp. 296-313. Springer, 2011.
• Michael Backes, Catalin Hritcu, Matteo Maffei. Union and Intersection Types for Secure Protocol Implementations. In Theory of Security and Applications (TOSCA' 11), Invited paper, pp. 1-28. Springer, 2011.
• Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David Langworthy. Semantic Subtyping with an SMT Solver. In 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010). ACM Press, 2010.
• Catalin Hritcu, Jan Schwinghammer. A Step-indexed Semantics of Imperative Objects. Logical Methods in Computer Science (LMCS), 5, 2009.
• Michael Backes, Martin Grochulla, Catalin Hritcu, and Matteo Maffei. Achieving Security Despite Compromise Using Zero-knowledge. In 22th IEEE Symposium on Computer Security Foundations (CSF 2009), pp. 308-323. IEEE Computer Society Press, 2009.
• Michael Backes, Catalin Hritcu, and Matteo Maffei. Type-checking Zero-knowledge. In 15th ACM Conference on Computer and Communications Security (CCS 2008). ACM Press, 2008.
• Michael Backes, Catalin Hritcu, and Matteo Maffei. Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus. In 21th IEEE Symposium on Computer Security Foundations (CSF 2008), pp. 195-209. IEEE Computer Society Press, 2008.

Theses and dissertations:
• Catalin Hritcu. Union, Intersection, and Re nement Types and Reasoning About Type Disjointness for Security Protocol Analysis. 2012.


Back

   
© Ad Astra 2001-2013