Decidability and Complexity Results for Security Protocols. - Ferucio Laurentiu Tiplea; Constantin Enea; Catalin V. Bîrjoveanu (VISSAS, 2005)

Secrecy for Security Protocols. - Catalin V. Bîrjoveanu (Sci. Ann. Cuza Univ., 2006)

Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests. - Catalin V. Bîrjoveanu (SYNASC, 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: Disequality Tests and an Intruder with Existentials Lead to Undecidability. - Catalin V. Bîrjoveanu (BCI, 2009)

Secrecy for Bounded Security Protocols without Freshness Check. - Catalin V. Bîrjoveanu (SECURWARE, 2009)

Anonymity and Fair-Exchange in e-Commerce Protocol for Physical Products Delivery. - Catalin V. Bîrjoveanu (SECRYPT, 2015)

Preserving Anonymity in Fair Exchange Complex Transactions E-Commerce Protocol for B2C/B2B Applications. - Catalin V. Bîrjoveanu; Mirela Bîrjoveanu (ICETE (1), 2018)

An Optimistic Fair Exchange E-commerce Protocol for Complex Transactions. - Catalin V. Bîrjoveanu; Mirela Bîrjoveanu (ICETE (2), 2018)

Multi-party E-Commerce Protocol for B2C/B2B Applications. - Catalin V. Bîrjoveanu; Mirela Bîrjoveanu (ICETE (1), 2019)

Fair Exchange E-Commerce Protocol for Multi-Chained Complex Transactions. - Catalin V. Bîrjoveanu; Mirela Bîrjoveanu (ICETE (3), 2020)

Chained Transaction Protocol Automated Verification Using Cl-AtSe. - Catalin V. Bîrjoveanu; Mirela Bîrjoveanu (ICETE (Selected Papers), 2020)

Secure Multi-Party E-Commerce Protocols - Catalin V. Bîrjoveanu; Mirela Bîrjoveanu (Springer, 2022)

Secure E-Commerce Protocol with Complex Trading Capabilities of Intermediaries. - Catalin V. Bîrjoveanu; Mirela Bîrjoveanu (SECRYPT, 2023)