| |
| 2008 | ||
|---|---|---|
| 3 | Kamel Adi, Liviu Pene: Formal Reasoning for Security Protocol Correctness. SoMeT 2008: 63-83 | |
| 2006 | ||
| 2 | Liviu Pene, Kamel Adi: A Calculus for Distributed Firewall Specification and Verification. SoMeT 2006: 301-315 | |
| 2005 | ||
| 1 | EE | Kamel Adi, Liviu Pene: Secrecy Correctness for Security Protocols. DFMA 2005: 22-29 |
| 1 | Kamel Adi | [1] [2] [3] |