Cosmin Vârlan

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 1

Top Topics

Automated Design

Security Protocols

Cryptographic Algorithms

Top Venues

Future Gener. Comput. Syst.

Publications

Ferucio Laurentiu Tiplea, Cosmin Vârlan
Group Anonymity in Security Protocols. FedCSIS (2018)
Ferucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vârlan
Reasoning about minimal anonymity in security protocols. Future Gener. Comput. Syst. 29 (3) (2013)
Ferucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vârlan
Complexity of Anonymity for Security Protocols. ESORICS (2010)