| 2022 | ISoLA | Towards a Methodology for Formally Analyzing Federated Identity Management Systems. | Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis |
| 2018 | ISoLA | Implementation of Privacy Calculus and Its Type Checking in Maude. | Georgios V. Pitsiladis, Petros S. Stefaneas |
| 2014 | SOFSEM | An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. | Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos |
| 2013 | SERA | Towards a Protocol Algebra Based on Algebraic Specifications. | Iakovos Ouranos, Petros S. Stefaneas |
| 2012 | ISoLA | Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. | Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas |
| 2010 | ISoLA | Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. | Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata |
| 2009 | WiMob | Algebraic Specifications for OMA REL Licenses. | Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas |
| 2007 | SOFSEM | A Formal Specification Framework for Ad Hoc Mobile Communication Networks. | Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos |
| 1997 | DLT | Chartering first order logic. | Petros S. Stefaneas |