All Stories

  1. 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

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

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

    Prof. Bruno Crispo

  3. Hidden Web Caches Discovery

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

    Prof. Bruno Crispo

  4. 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

  5. Obligation Management Framework for Usage Control

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

    Prof. Bruno Crispo

  6. OAuth 2.0 Redirect URI Validation Falls Short, Literally

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

    Prof. Bruno Crispo, Tommaso Innocenti

  7. WiP: Metamodel for Continuous Authorisation and Usage Control

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

    Prof. Bruno Crispo

  8. Generative adversarial networks for subdomain enumeration

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

    Prof. Bruno Crispo

  9. SWIPEGAN

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

    Prof. Bruno Crispo, Francesco Ricci

  10. Delegated attestation

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

    Prof. Bruno Crispo

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

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

    Prof. Bruno Crispo

  12. Detecting malicious applications using system services request behavior

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

    Prof. Bruno Crispo, Majid Salehi

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

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

    Prof. Bruno Crispo

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

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

    Prof. Bruno Crispo

  15. 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

  16. StaDynA

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

    Prof. Bruno Crispo