An Information-Theoretic Approach to the Access Control Problem. - Anna Lisa Ferrara; Barbara Masucci (ICTCS, 2003)

Modeling A Certified Email Protocol using I/O Automata. - Carlo Blundo; Stelvio Cimato; Roberto De Prisco; Anna Lisa Ferrara (MEFISTO, 2003)

A simple algorithm for the constrained sequence problems. - Francis Y. L. Chin; Alfredo De Santis; Anna Lisa Ferrara; Ngai Lam Ho; S. K. Kim (Inf. Process. Lett., 2004)

Cryptographic key assignment schemes for any access control policy. - Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Inf. Process. Lett., 2004)

A New Key Assignment Scheme for Access Control in a Complete Tree Hierarchy. - Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (WCC, 2005)

Ideal contrast visual cryptography schemes with reversing. - Stelvio Cimato; Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Inf. Process. Lett., 2005)

Unconditionally secure key assignment schemes. - Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Discret. Appl. Math., 2006)

Enforcing the security of a time-bound hierarchical key assignment scheme. - Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Inf. Sci., 2006)

Practical Short Signature Batch Verification. - Anna Lisa Ferrara; Matthew Green 001; Susan Hohenberger; Michael Østergaard Pedersen (IACR Cryptol. ePrint Arch., 2008)

An attack on a payment scheme. - Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Inf. Sci., 2008)

New constructions for provably-secure time-bound hierarchical key assignment schemes. - Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Theor. Comput. Sci., 2008)

Security and Tradeoffs of the Akl-Taylor Scheme and Its Variants. - Paolo D'Arco; Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (MFCS, 2009)

Variations on a theme by Akl and Taylor: Security and tradeoffs. - Paolo D'Arco; Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Theor. Comput. Sci., 2010)

Efficient provably-secure hierarchical key assignment schemes. - Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Theor. Comput. Sci., 2011)

Security Analysis of Role-Based Access Control through Program Verification. - Anna Lisa Ferrara; P. Madhusudan; Gennaro Parlato (CSF, 2012)

Analyzing temporal role based access control models. - Emre Uzun; Vijayalakshmi Atluri; Shamik Sural; Jaideep Vaidya; Gennaro Parlato; Anna Lisa Ferrara; Parthasarathy Madhusudan (SACMAT, 2012)

Provably-Secure Time-Bound Hierarchical Key Assignment Schemes. - Giuseppe Ateniese; Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (J. Cryptol., 2012)

Policy Analysis for Self-administrated Role-Based Access Control. - Anna Lisa Ferrara; P. Madhusudan; Gennaro Parlato (TACAS, 2013)

Cryptographically Enforced RBAC. - Anna Lisa Ferrara; Georg Fuchsbauer; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2013)

A note on time-bound hierarchical key assignment schemes. - Giuseppe Ateniese; Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (Inf. Process. Lett., 2013)

Vac - Verifier of Administrative Role-Based Access Control Policies. - Anna Lisa Ferrara; P. Madhusudan; Truc L. Nguyen; Gennaro Parlato (CAV, 2014)

Security analysis for temporal role based access control. - Emre Uzun; Vijayalakshmi Atluri; Jaideep Vaidya; Shamik Sural; Anna Lisa Ferrara; Gennaro Parlato; P. Madhusudan (J. Comput. Secur., 2014)

Policy Privacy in Cryptographic Access Control. - Anna Lisa Ferrara; Georg Fuchsbauer; Bin Liu; Bogdan Warinschi (CSF, 2015)

Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems. - Anna Lisa Ferrara; Anna Cinzia Squicciarini; Cong Liao; Truc L. Nguyen (DBSec, 2017)

Preventing Unauthorized Data Flows. - Emre Uzun; Gennaro Parlato; Vijayalakshmi Atluri; Anna Lisa Ferrara; Jaideep Vaidya; Shamik Sural; David Lorenzi (DBSec, 2017)

Verifiable Hierarchical Key Assignment Schemes. - Anna Lisa Ferrara; Chiara Ricciardi (IACR Cryptol. ePrint Arch., 2020)

Fuzzy-based approach to assess and prioritize privacy risks. - Stephen Hart; Anna Lisa Ferrara; Federica Paci (Soft Comput., 2020)

Verifiable Hierarchical Key Assignment Schemes. - Anna Lisa Ferrara; Federica Paci; Chiara Ricciardi (DBSec, 2021)

Security Analysis of Access Control Policies for Smart Homes. - Roberta Cimorelli Belfiore; Anna Lisa Ferrara (SACMAT, 2023)

Identity-Based Matchmaking Encryption from Standard Lattice Assumptions. - Roberta Cimorelli Belfiore; Andrea De Cosmo; Anna Lisa Ferrara (ACNS (2), 2024)

An Information-Theoretic Approach to Anonymous Access Control. - Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci; Giorgio Venditti (ISIT, 2024)

Hierarchical Key Assignment Schemes with Key Rotation. - Roberta Cimorelli Belfiore; Alfredo De Santis; Anna Lisa Ferrara; Barbara Masucci (SACMAT, 2024)

Provably-Secure One-Message Unilateral Entity Authentication Schemes. - Alfredo De Santis; Anna Lisa Ferrara; Manuela Flores; Barbara Masucci (IEEE Trans. Dependable Secur. Comput., 2024)