 | 2012 |
|---|
| 9 |       | Michael Backes,
Alex Busenius,
Catalin Hritcu:
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols.
NASA Formal Methods 2012: 371-387 |
| 2011 |
|---|
| 8 | | Michael Backes,
Catalin Hritcu,
Thorsten Tarrach:
Automatically Verifying Typing Constraints for a Data Processing Language.
CPP 2011: 296-313 |
| 7 | | Michael Backes,
Catalin Hritcu,
Matteo Maffei:
Union and Intersection Types for Secure Protocol Implementations.
TOSCA 2011: 1-28 |
| 2010 |
|---|
| 6 | | Gavin M. Bierman,
Andrew D. Gordon,
Catalin Hritcu,
David E. Langworthy:
Semantic subtyping with an SMT solver.
ICFP 2010: 105-116 |
| 2009 |
|---|
| 5 | | Michael Backes,
Martin P. Grochulla,
Catalin Hritcu,
Matteo Maffei:
Achieving Security Despite Compromise Using Zero-knowledge.
CSF 2009: 308-323 |
| 4 | | Catalin Hritcu,
Jan Schwinghammer:
A Step-indexed Semantics of Imperative Objects
Logical Methods in Computer Science 5(4): (2009) |
| 2008 |
|---|
| 3 | | Michael Backes,
Catalin Hritcu,
Matteo Maffei:
Type-checking zero-knowledge.
ACM Conference on Computer and Communications Security 2008: 357-370 |
| 2 | | Michael Backes,
Catalin Hritcu,
Matteo Maffei:
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.
CSF 2008: 195-209 |
| 2005 |
|---|
| 1 | | Catalin Hritcu,
Sabin C. Buraga:
A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication.
SYNASC 2005: 199-206 |
Data released under the ODC-BY 1.0 license — See also our legal information page