All Stories

  1. Relying on Trust to Balance Protection and Performance in Cryptographic Access Control

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

    Silvio Ranise

  2. Cross-Domain Sharing of User Claims: A Design Proposal for OpenID Connect Attribute Authorities

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

    Amir Sharif, Silvio Ranise

  3. Distributed Enforcement of Access Control policies in Intelligent Transportation System (ITS) for Situation Awareness

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

    Silvio Ranise

  4. SoK: A Survey on Technological Trends for (pre)Notified eIDAS Electronic Identity Schemes

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

    Silvio Ranise, Amir Sharif

  5. Demo: TLSAssistant v2: A Modular and Extensible Framework for Securing TLS

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

    Silvio Ranise, Salvatore Manfredi

  6. A Modular and Extensible Framework for Securing TLS

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

    Salvatore Manfredi, Silvio Ranise

  7. Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud

    Article • ACM Transactions on Privacy and Security, February 2022, ACM (Association for Computing Machinery)

    Silvio Ranise

  8. Do Security Reports Meet Usability?

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

    Silvio Ranise, Salvatore Manfredi

  9. DoS Attacks in Available MQTT Implementations

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

    Ivan Vaccari, Silvio Ranise

  10. Secure Pull Printing with QR Codes and National eID Cards

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

    Silvio Ranise

  11. Exploring Architectures for Cryptographic Access Control Enforcement in the Cloud for Fun and Optimization

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

    Silvio Ranise

  12. Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login

    Article • ACM Transactions on Privacy and Security, August 2020, ACM (Association for Computing Machinery)

    Silvio Ranise

  13. The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication with eID Cards and Push Notifications

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

    Silvio Ranise, Marco Pernpruner

  14. Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies

    Article • Journal of Computer Security, July 2018, IOS Press

    Anh Truong, Silvio Ranise

  15. A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies

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

    Silvio Ranise

  16. Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

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

    Daniel Ricardo dos Santos, Silvio Ranise

  17. Automated analysis of RBAC policies with temporal constraints and static role hierarchies

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

    Silvio Ranise