Current position
MCLab member at Computer Science Department,
Sapienza University of Rome.
Education
March 2012: Ph.D. in Computer Science from
Sapienza University of Rome, with a thesis titled "Input-shrinking functions: theory and applications", under the supervision of Prof. Stefan Dziembowski
July 2007: Master degree in Computer Science from
Sapienza University of Rome, with a thesis titled "Structural difference of Hamilton paths", under the supervision of Prof. János Körner
Projects
SCAPR - Sistema per il Contrasto di Aeromobili a Pilotaggio Remoto
SmartHG - Energy Demand Aware Open Services for Smart Grid Intelligent Automation
PAEON - Model Driven Computation of Treatments for Infertility Related Endocrinological Diseases
Papers
Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann Krüger, Marcel Egli, Fabian Ille: "Patient-Specific Models from Inter-Patient Biological Models and Clinical Records", in Proceedings of 14th Conference in Formal Methods in Computer-Aided Design (FMCAD 2014), Lausanne, Switzerland, 2014
Link Bibtex
Francesco Davì, Stefan Dziembowski and Daniele Venturi: "Leakage-Resilient Storage" in 7th Conference on Security and Cryptography for Networks (SCN 2010)
Link Bibtex
Schools and periods abroad
Visiting student: "Cryptography and Data Security Group", (
"Uniwersytet Warszawski"), Warsaw, May - July 2011
Summer School On Provable Security, Barcelona, September 7th - 11th 2009
Bertinoro international Spring School (BiSS 2009), Bertinoro, March 2nd - 6th 2009
(Pre)Doc-Course on:
Random and Quasirandom Graphs, Humboldt-Universität, Berlin, May 5th - June 27th 2008
Conferences and Workshops
Seventh Conference on Security and Cryptography for Networks (SCN 2010), Amalfi, September 13th - 15th 2010
Workshop on Provable Security against Physical Attacks, Leiden, February 15th - 19th 2010
Theory of Cryptography Conference (TCC 2010), Zurich, February 9th - 11th 2010
Berlin-Poznan Seminar / ASZ Workshop 2008, Humboldt-Universität, Berlin, June 20th - 21st 2008
Teaching (TA)
Academic year 2012/2013: Teaching Assistant for "
Matematica I" (Analysis I) class, Prof. Guido Gentile, First year course of the Geological Sciences degree at the University of "Roma Tre"
Academic year 2008/2009: Teaching Assistant for "
Metodi matematici per l'informatica" (Logic) class, Prof. Anna Labella, First year course of the Computer Science degree at
Sapienza University of Rome
Documents
PhD Thesis (
PDF)
Final PhD defense (
PPTX)
SCN 2010 Talk (
PPT)
Exercises for "Matematica I" class, a.y. 2012/2013, Geological Sciences, Roma Tre (italian,
TAR.GZ)
Exercises for "Metodi matematici per l'informatica" class, a.y. 2008/2009, Computer Science,
Sapienza University of Rome (italian,
TAR.GZ)
Last update: October 2018
