Catalin V. Bîrjoveanu

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 7

Top Topics

Transaction Model

Correctness Criteria

Electronic Commerce

Top Venues

ICETE (Selected Papers)

Publications

Catalin V. Bîrjoveanu, Mirela Bîrjoveanu
Secure E-Commerce Protocol with Complex Trading Capabilities of Intermediaries. SECRYPT (2023)
Catalin V. Bîrjoveanu, Mirela Bîrjoveanu
Chained Transaction Protocol Automated Verification Using Cl-AtSe. ICETE (Selected Papers) (2020)
Catalin V. Bîrjoveanu, Mirela Bîrjoveanu
Fair Exchange E-Commerce Protocol for Multi-Chained Complex Transactions. ICETE (3) (2020)
Catalin V. Bîrjoveanu, Mirela Bîrjoveanu
Multi-party E-Commerce Protocol for B2C/B2B Applications. ICETE (1) (2019)
Catalin V. Bîrjoveanu, Mirela Bîrjoveanu
An Optimistic Fair Exchange E-commerce Protocol for Complex Transactions. ICETE (2) (2018)
Catalin V. Bîrjoveanu, Mirela Bîrjoveanu
Preserving Anonymity in Fair Exchange Complex Transactions E-Commerce Protocol for B2C/B2B Applications. ICETE (1) (2018)
Catalin V. Bîrjoveanu
Anonymity and Fair-Exchange in e-Commerce Protocol for Physical Products Delivery. SECRYPT (2015)
Catalin V. Bîrjoveanu
Secrecy for Bounded Security Protocols: Disequality Tests and an Intruder with Existentials Lead to Undecidability. BCI (2009)
Catalin V. Bîrjoveanu
Secrecy for Bounded Security Protocols without Freshness Check. SECURWARE (2009)
Catalin V. Bîrjoveanu
Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests. SYNASC (2008)
Ferucio Laurentiu Tiplea, Catalin V. Bîrjoveanu, Constantin Enea, Ioana Boureanu
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. J. Comput. Secur. 16 (6) (2008)
Catalin V. Bîrjoveanu
Secrecy for Security Protocols. Sci. Ann. Cuza Univ. 16 (2006)
Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu
Decidability and Complexity Results for Security Protocols. VISSAS (2005)