Anna Lisa Ferrara

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 9

Top Topics

Hierarchical Structure

Top Venues

Publications

Roberta Cimorelli Belfiore, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Hierarchical Key Assignment Schemes with Key Rotation. SACMAT (2024)
Alfredo De Santis, Anna Lisa Ferrara, Manuela Flores, Barbara Masucci
Provably-Secure One-Message Unilateral Entity Authentication Schemes. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Roberta Cimorelli Belfiore, Andrea De Cosmo, Anna Lisa Ferrara
Identity-Based Matchmaking Encryption from Standard Lattice Assumptions. ACNS (2) (2024)
Roberta Cimorelli Belfiore, Anna Lisa Ferrara
Security Analysis of Access Control Policies for Smart Homes. SACMAT (2023)
Anna Lisa Ferrara, Federica Paci, Chiara Ricciardi
Verifiable Hierarchical Key Assignment Schemes. DBSec (2021)
Stephen Hart, Anna Lisa Ferrara, Federica Paci
Fuzzy-based approach to assess and prioritize privacy risks. Soft Comput. 24 (3) (2020)
Anna Lisa Ferrara, Chiara Ricciardi
Verifiable Hierarchical Key Assignment Schemes. IACR Cryptol. ePrint Arch. 2020 (2020)
Emre Uzun, Gennaro Parlato, Vijayalakshmi Atluri, Anna Lisa Ferrara, Jaideep Vaidya, Shamik Sural, David Lorenzi
Preventing Unauthorized Data Flows. DBSec (2017)
Anna Lisa Ferrara, Anna Cinzia Squicciarini, Cong Liao, Truc L. Nguyen
Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems. DBSec (2017)
Anna Lisa Ferrara, Georg Fuchsbauer, Bin Liu, Bogdan Warinschi
Policy Privacy in Cryptographic Access Control. CSF (2015)
Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato
Vac - Verifier of Administrative Role-Based Access Control Policies. CAV (2014)
Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural, Anna Lisa Ferrara, Gennaro Parlato, P. Madhusudan
Security analysis for temporal role based access control. J. Comput. Secur. 22 (6) (2014)
Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato
Policy Analysis for Self-administrated Role-Based Access Control. TACAS (2013)
Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi
Cryptographically Enforced RBAC. IACR Cryptol. ePrint Arch. 2013 (2013)
Giuseppe Ateniese, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
A note on time-bound hierarchical key assignment schemes. Inf. Process. Lett. 113 (5-6) (2013)
Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi
Cryptographically Enforced RBAC. CSF (2013)
Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato
Security Analysis of Role-Based Access Control through Program Verification. CSF (2012)
Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan
Analyzing temporal role based access control models. SACMAT (2012)
Giuseppe Ateniese, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Provably-Secure Time-Bound Hierarchical Key Assignment Schemes. J. Cryptol. 25 (2) (2012)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Efficient provably-secure hierarchical key assignment schemes. Theor. Comput. Sci. 412 (41) (2011)
Paolo D'Arco, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Variations on a theme by Akl and Taylor: Security and tradeoffs. Theor. Comput. Sci. 411 (1) (2010)
Paolo D'Arco, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Security and Tradeoffs of the Akl-Taylor Scheme and Its Variants. MFCS (2009)
Anna Lisa Ferrara, Matthew Green, Susan Hohenberger, Michael Østergaard Pedersen
Practical Short Signature Batch Verification. CT-RSA (2009)
Anna Lisa Ferrara, Matthew Green, Susan Hohenberger, Michael Østergaard Pedersen
Practical Short Signature Batch Verification. IACR Cryptol. ePrint Arch. 2008 (2008)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
An attack on a payment scheme. Inf. Sci. 178 (5) (2008)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
New constructions for provably-secure time-bound hierarchical key assignment schemes. Theor. Comput. Sci. 407 (1-3) (2008)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
New constructions for provably-secure time-bound hierarchical key assignment schemes. SACMAT (2007)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Efficient Provably-Secure Hierarchical Key Assignment Schemes. MFCS (2007)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Unconditionally secure key assignment schemes. Discret. Appl. Math. 154 (2) (2006)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Efficient Provably-Secure Hierarchical Key Assignment Schemes. IACR Cryptol. ePrint Arch. 2006 (2006)
Giuseppe Ateniese, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Provably-secure time-bound hierarchical key assignment schemes. CCS (2006)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
New Constructions for Provably-Secure Time-Bound Hierarchical Key Assignment Schemes. IACR Cryptol. ePrint Arch. 2006 (2006)
Giuseppe Ateniese, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Provably-Secure Time-Bound Hierarchical Key Assignment Schemes. IACR Cryptol. ePrint Arch. 2006 (2006)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Enforcing the security of a time-bound hierarchical key assignment scheme. Inf. Sci. 176 (12) (2006)
Stelvio Cimato, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Ideal contrast visual cryptography schemes with reversing. Inf. Process. Lett. 93 (4) (2005)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
A New Key Assignment Scheme for Access Control in a Complete Tree Hierarchy. WCC (2005)
Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
Cryptographic key assignment schemes for any access control policy. Inf. Process. Lett. 92 (4) (2004)
Carlo Blundo, Stelvio Cimato, Roberto De Prisco, Anna Lisa Ferrara
Modeling A Certified Email Protocol using I/O Automata. Electron. Notes Theor. Comput. Sci. 99 (2004)
Francis Y. L. Chin, Alfredo De Santis, Anna Lisa Ferrara, Ngai Lam Ho, S. K. Kim
A simple algorithm for the constrained sequence problems. Inf. Process. Lett. 90 (4) (2004)
Anna Lisa Ferrara, Barbara Masucci
An Information-Theoretic Approach to the Access Control Problem. ICTCS (2003)