dblp.uni-trier.dewww.uni-trier.de

Catalin Hritcu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEMichael Backes, Catalin Hritcu, Matteo Maffei: Type-checking zero-knowledge. ACM Conference on Computer and Communications Security 2008: 357-370
2EEMichael Backes, Catalin Hritcu, Matteo Maffei: Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. CSF 2008: 195-209
2005
1EECatalin Hritcu, Sabin C. Buraga: A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication. SYNASC 2005: 199-206

Coauthor Index

1Michael Backes [2] [3]
2Sabin C. Buraga [1]
3Matteo Maffei [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)