| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Catalin Hritcu, Jan Schwinghammer: A Step-indexed Semantics of Imperative Objects CoRR abs/0906.1350: (2009) |
| 2008 | ||
| 3 | EE | Michael Backes, Catalin Hritcu, Matteo Maffei: Type-checking zero-knowledge. ACM Conference on Computer and Communications Security 2008: 357-370 |
| 2 | EE | Michael Backes, Catalin Hritcu, Matteo Maffei: Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. CSF 2008: 195-209 |
| 2005 | ||
| 1 | EE | Catalin Hritcu, Sabin C. Buraga: A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication. SYNASC 2005: 199-206 |
| 1 | Michael Backes | [2] [3] |
| 2 | Sabin C. Buraga | [1] |
| 3 | Matteo Maffei | [2] [3] |
| 4 | Jan Schwinghammer | [4] |