All Stories

  1. PoME: Distributed Execution Proofs for Modern Microservices

    Article • March 2026, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo, Thi Thuy Linh Nguyen

  2. Firmware Secure Updates meet Formal Verification

    Article • ACM Transactions on Cyber-Physical Systems, July 2025, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo, Marco Roveri

  3. Coordinated Enforcement of Obligations in Distributed Usage Control Systems [Work In Progress Paper]

    Article • July 2025, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo

  4. Hidden Web Caches Discovery

    Article • September 2024, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo

  5. FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems

    Article • ACM Transactions on Internet of Things, July 2024, ACM (Association for Computing Machinery)

    Marco Roveri, Prof. Bruno Crispo

  6. Obligation Management Framework for Usage Control

    Article • June 2024, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo

  7. OAuth 2.0 Redirect URI Validation Falls Short, Literally

    Article • December 2023, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo, Tommaso Innocenti

  8. WiP: Metamodel for Continuous Authorisation and Usage Control

    Article • June 2022, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo

  9. Generative adversarial networks for subdomain enumeration

    Article • April 2022, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo

  10. SWIPEGAN

    Article • June 2021, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo, Francesco Ricci

  11. Delegated attestation

    Article • June 2021, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo

  12. Verify&Revive: Secure Detection and Recovery of Compromised Low-end Embedded Devices

    Article • December 2020, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo

  13. Detecting malicious applications using system services request behavior

    Article • November 2019, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo, Majid Salehi

  14. Demystifying Authentication Concepts in Smartphones: Ways and Types to Secure Access

    Article • Mobile Information Systems, January 2018, Hindawi Publishing Corporation

    Prof. Bruno Crispo

  15. Large-Scale Analysis of Style Injection by Relative Path Overwrite

    Article • January 2018, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo

  16. Analyzing Remote Server Locations for Personal Data Transfers in Mobile Apps

    Article • Proceedings on Privacy Enhancing Technologies, January 2017, De Gruyter

    Prof. Bruno Crispo, Anderson DE OLIVEIRA

  17. StaDynA

    Article • March 2015, ACM (Association for Computing Machinery)

    Prof. Bruno Crispo