Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ferucio L. Ţiplea

Secrecy for Bounded Security Protocols With Freshness Check Is NEXPTIME-complete*

Journal of Computer Security

Computer Networks

English