Anna Lisa Ferrara

Roberta Cimorelli Belfiore

Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024

Identity-Based Matchmaking Encryption from Standard Lattice Assumptions.

[BibT_eX]

[DOI]

Andrea De Cosmo

Roberta Cimorelli Belfiore

Proceedings of the Applied Cryptography and Network Security, 2024

2023

Security Analysis of Access Control Policies for Smart Homes.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2021

Verifiable Hierarchical Key Assignment Schemes.

[BibT_eX]

[DOI]

Federica Paci

Chiara Ricciardi

Proceedings of the Data and Applications Security and Privacy XXXV, 2021

2020

Fuzzy-based approach to assess and prioritize privacy risks.

[BibT_eX]

[DOI]

Stephen Hart

Federica Paci

Soft Comput., 2020

Verifiable Hierarchical Key Assignment Schemes.

[BibT_eX]

[DOI]

Chiara Ricciardi

IACR Cryptol. ePrint Arch., 2020

2017

Preventing Unauthorized Data Flows.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXXI, 2017

Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems.

[BibT_eX]

[DOI]

Anna Cinzia Squicciarini

Cong Liao

Truc L. Nguyen

Proceedings of the Data and Applications Security and Privacy XXXI, 2017

2015

Policy Privacy in Cryptographic Access Control.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Security analysis for temporal role based access control.

[BibT_eX]

[DOI]

J. Comput. Secur., 2014

Vac - Verifier of Administrative Role-Based Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

A note on time-bound hierarchical key assignment schemes.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2013

Cryptographically Enforced RBAC.

[BibT_eX]

[DOI]

Georg Fuchsbauer

Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2013

Policy Analysis for Self-administrated Role-Based Access Control.

[BibT_eX]

[DOI]

P. Madhusudan

Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Provably-Secure Time-Bound Hierarchical Key Assignment Schemes.

[BibT_eX]

[DOI]

J. Cryptol., 2012

Analyzing temporal role based access control models.

[BibT_eX]

[DOI]

Parthasarathy Madhusudan

Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

Security Analysis of Role-Based Access Control through Program Verification.

[BibT_eX]

[DOI]

P. Madhusudan

Gennaro Parlato

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Efficient provably-secure hierarchical key assignment schemes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

2010

Variations on a theme by Akl and Taylor: Security and tradeoffs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

2009

Security and Tradeoffs of the Akl-Taylor Scheme and Its Variants.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

2008

New constructions for provably-secure time-bound hierarchical key assignment schemes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

An attack on a payment scheme.

[BibT_eX]

[DOI]

Inf. Sci., 2008

Practical Short Signature Batch Verification.

[BibT_eX]

[DOI]

Michael Østergaard Pedersen

Matthew Green

Susan Hohenberger

IACR Cryptol. ePrint Arch., 2008

2006

Enforcing the security of a time-bound hierarchical key assignment scheme.

[BibT_eX]

[DOI]

Inf. Sci., 2006

Unconditionally secure key assignment schemes.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2006

2005

Ideal contrast visual cryptography schemes with reversing.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

A New Key Assignment Scheme for Access Control in a Complete Tree Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the Coding and Cryptography, International Workshop, 2005

2004

Cryptographic key assignment schemes for any access control policy.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

A simple algorithm for the constrained sequence problems.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

2003

Modeling A Certified Email Protocol using I/O Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

An Information-Theoretic Approach to the Access Control Problem.

[BibT_eX]

[DOI]