Flaminia Luccio

Associate Professor
Dipartimento di Scienze Ambientali, Informatica e Statistica
Universita' Ca' Foscari Venice
E-mail: luccio@unive.it
Page: http://www.dsi.unive.it/~luccio/

Fields of interest

Distributed Algorithms, Security

Recent publications

P. Flocchini, M.J. Huang, F.L. Luccio, Decontamination of Hypercubes by Mobile Agents. Networks, Vol. 52, No. 3, pp.167-178, ISSN 0028-3045, 2008.

F.L. Luccio, Contiguous search problem in Sierpinski graphs. Theory of Computing Systems (TOCS), Vol 44, pp.186-204, ISSN 1432-4350, 2009.

R. Focardi, F.L. Luccio, Guessing Bank PINs by Winning a Mastermind Game. Theory of Computing Systems (TOCS), ISSN 1432-4350, 50(1), 52-71, 2012.

M. Centenaro, R. Focardi, F.L. Luccio, Type-based Analysis of Key Management in PKCS#11 cryptographic devices Journal of Computer Security, Vol. 21, Number 6, pp. 971-1007, 2013, ISSN:0926-227X, DOI 10.3233/JCS-130479 .

M. Centenaro, R. Focardi, F.L. Luccio, G. Steel, Type-based Analysis of PIN Processing APIs. In the proceedings of the 14th European Symposium on Research in Computer Security (Esorics), Saint Malo, France, September 21-25, Lecture Notes in Computer Science 5789 Springer, ISSN 0302-9743, ISBN: 978-3-642-04443-4, p. 53-68, 2009.

M. Centenaro, R. Focardi, F.L. Luccio, Type-Based Analysis of PKCS#11 Key Management. In the proceedings of the 1st Conference on Principles of Security and Trust (POST2012), 26-27 March 2012, Tallinn, Estonia, LNCS 7215, pp. 349–368, Springer 2012, ISBN 978-3-642-28640-7.

P. Adão, R. Focardi, F.L. Luccio. Type-Based Analysis of Generic Key Management APIs. IEEE 26th Computer Security Foundations Symposium (CSF’13), 97-111, June 26-28, 2013, New Orleans, Louisiana, USA.

P. Adão, Claudio Bozzato, Gian-Luca Dei Rossi, R. Focardi, F.L. Luccio, Mignis: A semantic based tool for firewall configuration. In the proceedings of the IEEE 27th Computer Security Foundations Symposium (CSF’14), July 19-22 2014, Vienna, Austria, pp. 351-365, ISBN: 9781479942909.

Evangelos Kranakis, Danny Krizanc, Flaminia Luccio and Brett Smith. Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors. In the proceedings of the 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (Algosensors 2015), 17 -18 September 2015, Patras, Greece.

Shantanu Das, Flaminia L. Luccio and Euripides Markou. Mobile Agents Rendezvous in spite of a Malicious Agent. In the proceedings of the 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (Algosensors 2015), 17 -18 September 2015, Patras, Greece.