Publications

• 2026

  • Policy automata for stateful authorization

    Massimiliano Baldo, Marino Miculan, Matteo Paier

    Proceedings of the 27th Italian Conference on Theoretical Computer Science (ICTCS 2026)

    PDF

  • Strobilus: Enriching Cedar with Stateful Policies

    Massimiliano Baldo, Pietro Di Gianantonio, Matteo Paier, Marino Miculan

    Proceedings of the 31st ACM Symposium on Access Control Models and Technologies (SACMAT 2026)

    PDF

• 2025

  • From Edge to Cloud: Securing Distributed Containerized Applications

    Luca Verderame, Giorgia Bolognesi, Enrico Pezzano, Alberto Falcone, Giacomo Benedetti, Massimo Guarascio, Luca Caviglione, Roberto Carbone, Roberto Doriguzzi-Corin, Massimiliano Rak, Maurizio Giacobbe, Giovanni Merlino, Antonio Puliafito, Massimiliano Baldo, Marino Miculan, Vincenzo Riccio and Massimo Ficco

    Proceedings of the 10th IEEE European Symposium on Security and Privacy Workshops (OSVS@EuroS&PW 2025)

    PDF

  • OWSM: Empowering Rego for Stateful Access Control

    Massimiliano Baldo, Fabio Ionut Ion, Marino Miculan, Matteo Paier, Vincenzo Riccio

    Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2025)

    PDF

• 2023

  • HoneyEVSE: An Honeypot to emulate Electric Vehicle Supply Equipments

    Massimiliano Baldo, Tommaso Bianchi, Mauro Conti, Alessio Trevisan, Federico Turrin

    Computer Security. ESORICS 2023 International Workshops (CyberICPS@ESORICS 2023)

    PDF