All Stories

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

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

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

    Silvio Ranise

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

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

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

    Silvio Ranise, Salvatore Manfredi

  5. A Modular and Extensible Framework for Securing TLS

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

    Salvatore Manfredi, Silvio Ranise

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

  7. Do Security Reports Meet Usability?

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

    Silvio Ranise, Salvatore Manfredi

  8. DoS Attacks in Available MQTT Implementations

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

    Ivan Vaccari, Silvio Ranise

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

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

    Silvio Ranise

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

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

    Silvio Ranise

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

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

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

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

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

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

    Silvio Ranise