Mirela Bîrjoveanu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Correctness Criteria

Electronic Commerce

Automated Verification

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)