| 2026 | SACMAT | Strobilus: Enriching Cedar with Stateful Policies. | Massimiliano Baldo, Pietro Di Gianantonio, Matteo Paier, Marino Miculan |
| 2026 | SECRYPT | Experimental Evaluation of Lightweight Encryption Algorithms on 16-bit Microcontrollers. | Marino Miculan, Matteo Paier, Jacopo Plozner |
| 2025 | FORTE | Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. | Marco Comini, Luca Gemolotto, Marino Miculan |
| 2024 | ISoLA | Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems. | Michele Pasqua, Marino Miculan |
| 2024 | SECRYPT | A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP. | Roberto van Eeden, Matteo Paier, Marino Miculan |
| 2024 | SEFM | Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. | Matteo Paier, Roberto van Eeden, Marino Miculan |
| 2022 | CSL | Fuzzy Algebraic Theories. | Davide Castelnovo, Marino Miculan |
| 2022 | FOSSACS | A new criterion for | Davide Castelnovo, Fabio Gadducci, Marino Miculan |
| 2021 | CALCO | Closure Hyperdoctrines. | Davide Castelnovo, Marino Miculan |
| 2021 | ICTAC | A Calculus for Attribute-Based Memory Updates. | Marino Miculan, Michele Pasqua |
| 2021 | SECRYPT | Automated Symbolic Verification of Telegram's MTProto 2.0. | Marino Miculan, Nicola Vitacolonna |
| 2021 | SEFM | On the Security and Safety of AbU Systems. | Michele Pasqua, Marino Miculan |
| 2020 | SAC | Towards a formal model for composable container systems. | Fabio Burco, Marino Miculan, Marco Peressotti |
| 2015 | Coordination | Open Transactions on Shared Memory. | Marino Miculan, Marco Peressotti, Andrea Toneguzzo |
| 2014 | DAIS | Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. | Alessio Mansutti, Marino Miculan, Marco Peressotti |
| 2012 | ITP | Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. | Marino Miculan, Marco Paviotti |
| 2011 | SECRYPT | Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems. | Carlo Maiero, Marino Miculan |
| 2009 | CALCO | DBtk: A Toolkit for Directed Bigraphs. | Giorgio Bacci, Davide Grohmann, Marino Miculan |
| 2008 | CiE | Implementing Spi Calculus Using Nominal Techniques. | Temesghen Kahsai, Marino Miculan |
| 2007 | CONCUR | Reactive Systems over Directed Bigraphs. | Davide Grohmann, Marino Miculan |
| 2005 | FOSSACS | A Unifying Model of Variables and Names. | Marino Miculan, Kidane Yemane |
| 2005 | ICFP | Translating specifications from nominal logic to CIC with the theory of contexts. | Marino Miculan, Ivan Scagnetto, Furio Honsell |
| 2004 | FOSSACS | Unifying Recursive and Co-recursive Definitions in Sheaf Categories. | Pietro Di Gianantonio, Marino Miculan |
| 2003 | ICFP | Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
| 2003 | LPAR | Imperative Object-Based Calculi in Co-inductive Type Theories. | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
| 2003 | PPDP | A framework for typed HOAS and semantics. | Marino Miculan, Ivan Scagnetto |
| 2001 | ICALP | An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. | Furio Honsell, Marino Miculan, Ivan Scagnetto |
| 1999 | ICALP | Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. | Marino Miculan |
| 1995 | LICS | Modal mu-Types for Processes | Marino Miculan, Fabio Gadducci |