The University of Southampton

Publications

Ferrara, Anna Lisa, Green, Matthew, Hohenberger, Susan and Pedersen, Michael Østergaard (2009) Practical Short Signature Batch Verification. Topics in Cryptology - The Cryptographers' Track at the RSA Conference, United States. 20 - 24 Apr 2009. pp. 309-324 .

Uzun, Emre, Atluri, Vijayalakshmi, Sural, Shamik, Vaidya, Jaideep, Gennaro, Parlato, Ferrara, Anna Lisa and Madhusudan, Parthasarathy (2012) Analyzing temporal role based access control models. In SACMAT '12 Proceedings of the 17th ACM symposium on Access Control Models and Technologies. ACM. 177 -186 . (doi:10.1145/2295136.2295169).

Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2012) Security Analysis of Role-based Access Control through Program Verification. 25th IEEE Computer Security Foundations Symposium (CSF). pp. 113-125 .

Ferrara, Anna Lisa, Madhusudan, P., Lam Nguyen, Truc and Parlato, Gennaro (2014) VAC - verifier of administrative role-based access control policies. In 26th International Conference on Computer Aided Verification (CAV 2014). vol. 8559, 8 pp . (doi:10.1007/978-3-319-08867-9_12).

Uzun, Emre, Atluri, Vijayalakshmi, Vaidya, Jaideep, Sural, Shamik, Ferrara, Anna Lisa, Parlato, Gennaro and Madhusudan, P. (2014) Security analysis for temporal role based access control. Journal of Computer Security. (doi:10.3233/JCS-140510).

Uzun, Emre, Parlato, Gennaro, Atluri, Vijayalakshmi, Ferrara, Anna Lisa, Vaidya, Jaideep, Sural, Shamik and Lorenzi, David (2017) Preventing unauthorized data flows. Livraga, G. and Zhu, S. (eds.) In Data and Applications Security and Privacy XXXI. DBSec 2017. vol. 10359, Springer. pp. 41-62 . (doi:10.1007/978-3-319-61176-1_3).

Ferrara, Anna, Squicciarinni, Anna, Liao, Cong and Nguyen Lam, Truc (2017) Toward group-based user-attribute policies in azure-like access control systems. In IFIP Annual Conference on Data and Applications Security and Privacy: DBSec 2017: Data and Applications Security and Privacy XXXI. vol. 10359, Springer.. (doi:10.1007/978-3-319-61176-1).

Ferrara, Anna, Fuchsbauer, Georg, Liu, B. and Warinschi, Bodgan (2015) Policy privacy in cryptographic access control. 2015 IEEE 28th Computer Security Foundations Symposium, Italy. 13 - 17 Jul 2015.

Hart, Stephen, Ferrara, Anna Lisa and Paci, Federica (2019) Fuzzy-based approach to assess and prioritize privacy risks. Soft Computing, 1-11. (doi:10.1007/s00500-019-03986-5).

Share this profile FacebookTwitterWeibo