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] |