Catalin Hritcu

	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

Coauthor Index

1	Michael Backes	[2] [3] [5] [7] [8] [9]
2	Gavin M. Bierman	[6]
3	Sabin C. Buraga	[1]
4	Alex Busenius	[9]
5	Andrew D. Gordon (Andy Gordon)	[6]
6	Martin P. Grochulla	[5]
7	David E. Langworthy	[6]
8	Matteo Maffei	[2] [3] [5] [7]
9	Jan Schwinghammer	[4]
10	Thorsten Tarrach	[8]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page