| |
| 2008 | ||
|---|---|---|
| 3 | EE | Ferucio Laurentiu Tiplea, Catalin V. Birjoveanu, Constantin Enea, Ioana Boureanu: Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. Journal of Computer Security 16(6): 689-712 (2008) |
| 2006 | ||
| 2 | Catalin V. Birjoveanu: Secrecy for Security Protocols. Sci. Ann. Cuza Univ. 16: 5-38 (2006) | |
| 2005 | ||
| 1 | Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu: Decidability and Complexity Results for Security Protocols. VISSAS 2005: 185-211 | |
| 1 | Ioana Boureanu | [3] |
| 2 | Constantin Enea | [1] [3] |
| 3 | Ferucio Laurentiu Tiplea | [1] [3] |