Catalin V. Bîrjoveanu

According to our database, Catalin V. Bîrjoveanu authored at least 14 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Secure E-Commerce Protocol with Complex Trading Capabilities of Intermediaries.

Catalin V. Bîrjoveanu, Mirela Bîrjoveanu

Proceedings of the 20th International Conference on Security and Cryptography, 2023

2022

Secure Multi-Party E-Commerce Protocols

Catalin V. Bîrjoveanu, Mirela Bîrjoveanu

Springer Briefs in Computer Science, Springer, ISBN: 978-3-030-99350-4, 2022

2020

Chained Transaction Protocol Automated Verification Using Cl-AtSe.

Catalin V. Bîrjoveanu, Mirela Bîrjoveanu

Proceedings of the E-Business and Telecommunications, 2020

Fair Exchange E-Commerce Protocol for Multi-Chained Complex Transactions.

Catalin V. Bîrjoveanu, Mirela Bîrjoveanu

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

2019

Multi-party E-Commerce Protocol for B2C/B2B Applications.

Catalin V. Bîrjoveanu, Mirela Bîrjoveanu

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

2018

An Optimistic Fair Exchange E-commerce Protocol for Complex Transactions.

Catalin V. Bîrjoveanu, Mirela Bîrjoveanu

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018

Preserving Anonymity in Fair Exchange Complex Transactions E-Commerce Protocol for B2C/B2B Applications.

Catalin V. Bîrjoveanu, Mirela Bîrjoveanu

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018

2015

Anonymity and Fair-Exchange in e-Commerce Protocol for Physical Products Delivery.

Catalin V. Bîrjoveanu

Proceedings of the SECRYPT 2015, 2015

2009

Secrecy for Bounded Security Protocols without Freshness Check.

Catalin V. Bîrjoveanu

Proceedings of the Third International Conference on Emerging Security Information, 2009

Secrecy for Bounded Security Protocols: Disequality Tests and an Intruder with Existentials Lead to Undecidability.

Catalin V. Bîrjoveanu

Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009

2008

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete.

Ferucio Laurentiu Tiplea, Catalin V. Bîrjoveanu, Constantin Enea, Ioana Boureanu

J. Comput. Secur., 2008

Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests.

Catalin V. Bîrjoveanu

Proceedings of the SYNASC 2008, 2008

2006

Secrecy for Security Protocols.

Catalin V. Bîrjoveanu

Sci. Ann. Cuza Univ., 2006

2005

Decidability and Complexity Results for Security Protocols.

Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005