Catalin V. Birjoveanu

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
c4		Catalin V. Birjoveanu: Secrecy for Bounded Security Protocols: Disequality Tests and an Intruder with Existentials Lead to Undecidability. BCI 2009: 22-27
c3		Catalin V. Birjoveanu: Secrecy for Bounded Security Protocols without Freshness Check. SECURWARE 2009: 37-41
	2008
j2		Ferucio Laurentiu Tiplea, Catalin V. Birjoveanu, Constantin Enea, Ioana Boureanu: Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. Journal of Computer Security 16(6): 689-712 (2008)
c2		Catalin V. Birjoveanu: Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests. SYNASC 2008: 193-196
	2006
j1		Catalin V. Birjoveanu: Secrecy for Security Protocols. Sci. Ann. Cuza Univ. 16: 5-38 (2006)
	2005
c1		Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu: Decidability and Complexity Results for Security Protocols. VISSAS 2005: 185-211

Coauthor Index

Last update Sun May 19 07:43:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page