Secrecy Correctness for Security Protocols. - Kamel Adi; Liviu Pene (DFMA, 2005)

A Calculus for Distributed Firewall Specification and Verification. - Liviu Pene; Kamel Adi (SoMeT, 2006)

Formal Reasoning for Security Protocol Correctness. - Kamel Adi; Liviu Pene (SoMeT, 2008)

Games for non-repudiation protocol correctness. - Kamel Adi; Liviu Pene; L. Sullivan (Int. J. Wirel. Mob. Comput., 2010)

Compliance Verification Algorithm for Computer Systems Security Policies. - Liviu Pene; Lamia Hamza; Kamel Adi (MCETECH, 2017)

Automatic security policy enforcement in computer systems. - Kamel Adi; Lamia Hamza; Liviu Pene (Comput. Secur., 2018)