The SCEAS System
Navigation Menu

Search the dblp DataBase


Catalin V. Birjoveanu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu
    Decidability and Complexity Results for Security Protocols. [Citation Graph (0, 0)][DBLP]
    VISSAS, 2005, pp:185-211 [Conf]
  2. Catalin V. Birjoveanu
    Secrecy for Security Protocols. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2006, v:16, n:, pp:5-38 [Journal]

  3. Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests. [Citation Graph (, )][DBLP]

  4. Secrecy for Bounded Security Protocols without Freshness Check. [Citation Graph (, )][DBLP]

  5. Secrecy for Bounded Security Protocols: Disequality Tests and an Intruder with Existentials Lead to Undecidability. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002