The University of Southampton

Publications

Ferrara, Anna Lisa, Green, Matthew, Hohenberger, Susan and Pedersen, Michael Østergaard (2009) Practical Short Signature Batch Verification At 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 At 25th IEEE Computer Security Foundations Symposium (CSF). 13 pp, pp. 113-125.

Ferrara, Anna Lisa, Madhusudan, P., Lam Nguyen, Truc and Parlato, Gennaro (2014) VAC - verifier of administrative role-based access control policies At 26th International Conference on Computer Aided Verification (CAV 2014), Austria. 18 - 22 Jul 2014. 8 pp.

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

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. 0 pp, pp. 41-62.

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 At 2015 IEEE 28th Computer Security Foundations Symposium, Italy. 13 - 17 Jul 2015.

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×