Here are links to my publications
2010
Semantic Attestation of Node Integrity in Overlays.
Fabrizio Baiardi, Daniele Sgandurra.
In proceedings of OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010. LNCS 6426, pp. 656-671.
[pdf] [bibtex]
Attestation of Integrity of Overlay Networks.
Fabrizio Baiardi, Daniele Sgandurra.
Journal of Systems Architecture, In Press, Accepted Manuscript.
[pdf] [bibtex]
Securing a Community Cloud.
Fabrizio Baiardi, Daniele Sgandurra.
In proceedings of the first ICDCS Workshop on Security and Privacy in Cloud Computing, 2010, issn 1545-0678, pp. 32-41.
[pdf] [bibtex]
2009
Cloud Security Is Not (Just) Virtualization Security.
Mihai Christodorescu, Reiner Sailer, Douglas Schales, Daniele Sgandurra, Diego Zamboni.
In proceedings of the ACM Cloud Computing Security Workshop. November, 2009.
[pdf] [bibtex]
Introspection-based Context Agent Injection.
Mihai Christodorescu, Reiner Sailer, Douglas Schales, Arvind Seshadri, Daniele Sgandurra, Diego Zamboni.
In IBM AoT (Academy of Technology) Security and Privacy Symposium, June 22-26, 2009.
Invariant Evaluation through Introspection for Proving Security Properties.
Fabrizio Baiardi, Dario Maggiari and Daniele Sgandurra.
Journal of Information Assurance and Security, Volume 4, Issue 2. pp 124-132, Dynamic Publisher Inc, issn 1554-1010, 2009.
[pdf] [bibtex]
Modeling and Managing Risk in Billing Infrastructures.
Fabrizio Baiardi, Claudio Telmon and Daniele Sgandurra.
In proceedings of the Third Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, ISBN 978-3-642-04797-8, pp. 51-64, Springer Boston.
[pdf] [bibtex]
Measuring Semantic Integrity for Remote Attestation.
Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra and Francesco Ceccarelli.
In proceedings of the 2nd International Conference on Trusted Computing Technical Strand (Trust 2009), Oxford, UK, LNCS 5471, pp. 81-100.
[pdf] [bibtex]
PsycoTrace: Virtual and Transparent Monitoring of a Process Self.
Fabrizio Baiardi, Dario Maggiari, Daniele Sgandurra and Francesco Tamberi.
In proceedings of the 17th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2009), Weimar, Germany, IEEE Computer Society Press, pp. 393-397, 2009.
[pdf] [bibtex]
Securing Health Information Infrastructures through Overlays.
Fabrizio Baiardi, Dario Maggiari and Daniele Sgandurra.
In proceedings of HEALTHINF 2009 - Second International Conference on Health Informatics, L. Azevedo and A. R. Londral, eds., Porto, Portugal: INSTICC Press, pp. 123-128, 2009, ISBN: 978-989-811-63-0.
[bibtex]
2008
Transparent Process Monitoring in a Virtual Environment.
Daniele Sgandurra, Fabrizio Baiardi, Dario Maggiari, and Francesco Tamberi.
In Electronic Notes in Theoretical Computer Science, volume 236, pp. 85-100, 2009. Proceedings of the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro (Italy).
[pdf] [bibtex]
Hierarchical, Model-Based Risk Management of Critical Infrastructures.
Fabrizio Baiardi, Claudio Telmon, Daniele Sgandurra
Journal of Reliability Engineering & System Safety Volume 94, Issue 9, September 2009, Pages 1403-1415 (ESREL 2007, the 18th European Safety and Reliability Conference).
[pdf] [bibtex]
Semantics-Driven Introspection in a Virtual Environment.
Francesco Tamberi, Dario Maggiari, Daniele Sgandurra, Fabrizio Baiardi.
In proceedings of the Fourth IEEE International Conference on Information Assurance and Security (IAS 2008), Naples (Italy), pp 299-302.
[pdf] [bibtex]
Secure Sharing of an ICT Infrastructure Through Vinci.
Fabrizio Baiardi and Daniele Sgandurra.
In Proceedings of the 2nd International Conference on Autonomous Infrastructure, Management and Security Resilient Networks and Services (AIMS 2008), Bremen (Germany), LNCS 5127, pp. 65-78.
[pdf] [bibtex]
Virtual Interacting Network Community: Exploiting Multi-Core Architectures to Increase Security.
Fabrizio Baiardi and Daniele Sgandurra.
In proceedings of the 2008 Computing Frontiers Conference, ACM, 2008, Ischia (Italy), p. 111.
[pdf] [bibtex]
2007
Protezione del Kernel Tramite Macchine Virtuali.
Fabio Campisi, Daniele Sgandurra.
Net&System Security 2007, Pisa (Italy). Best Student Paper Award.
[pdf]
Towards High Assurance Networks of Virtual Machines.
Fabrizio Baiardi and Daniele Sgandurra.
In Proceedings of the 3rd European Conference on Computer Network Defense (EC2ND 2007), Heraklion (Greece), Lecture Notes in Electrical Engineering, Vol. 30 Siris, pp. 21-34.
[pdf] [bibtex]
Managing Critical Infrastructures through Virtual Network Communities.
Fabrizio Baiardi, Gaspare Sala, and Daniele Sgandurra.
In proceedings of 2nd International Workshop on Critical Information Infrastructures Security (CRITIS 2007), Malaga (Spain), LNCS 5141, pp. 71-82.
[pdf] [bibtex]
Security and Integrity of a Distributed File Storage in a Virtual Environment.
Gaspare Sala, Daniele Sgandurra, and Fabrizio Baiardi.
In proceedings of 4th International IEEE Security in Storage Workshop (SISW 07), San Diego (USA), pp. 58-69.
[pdf] [bibtex]
Building Trustworthy Intrusion Detection through VM Introspection.
Fabrizio Baiardi and Daniele Sgandurra.
In proceedings of the Third IEEE International Symposium on Information Assurance and Security (IAS 07), 2007, Manchester (UK), pp. 209-214.
[pdf] [bibtex]
(My publications on the DBLP database)
(My publications on the ACM Author Profile Page)
(My publications on the Anagrafe della ricerca)
PhD Thesis
Measuring the Semantic Integrity of a Process Self. 
M.S. Thesis
Architetture di sicurezza e tecnologie di virtualizzazione: rilevamento delle intrusioni tramite introspezione.
B.S. Thesis
Sviluppo di strumenti privacy preserving per data mining distribuito.
Presentations
Securing a Community Cloud.
ICDCS Workshop on Security and Privacy in Cloud Computing, Genova (Italy), 2010.
Measuring the Semantic Integrity of a Process Self
PhD Thesis Defense, Pisa, 24th June 2010.
A Survey of Intrusion Detection Systems
Seminar@IIT-CNR, Pisa, 22th March 2010.
An Introduction to Cellular Automata
Bio-inspired Models of Computation Seminar, Pisa, 16th October 2009.
A Sense of Self through Semantic Integrity and Virtual Introspection
PhD Research Seminars, Pisa, 14th September 2009.
Introspection-based Context Agent Injection
IBM AoT (Academy of Technology) Security and Privacy Symposium, Zurich (CH), 2009
Measuring Semantic Integrity for Remote Attestation
Trust International Conference in Oxford (UK), 2009.
Securing Health Information Infrastructures through Overlays
Healthinf Conference in Porto (Portugal), 2009.
Software Verification with BLAST
PhD Seminar on Rigorous Software Development via Model Checking, Pisa, 2008.
Semantics-Driven Introspection in a Virtual Environment
IAS Conference in Napoli, 2008.
Secure Sharing of an ICT Infrastructure through Vinci
AIMS Conference in Bremen (Germany), 2008.
Transparent Monitoring of a Process Self in a Virtual Environment
PhD Lunchtime Seminar in Pisa, 2008.
Protezione del Kernel Tramite Macchine Virtuali
Net&System Security Conference in Pisa, 2007.
Towards High Assurance Networks of Virtual Machines
EC2ND Conference in Heraklion (Greece), 2007.
Security and Integrity of a Distributed File Storage in a Virtual Environment
SISW Workshop in San Diego (USA), 2007.
Building Trustworthy Intrusion Detection through VM Introspection
IAS Conference in Manchester (UK), 2007.
Defining the Semantics of Object-Oriented Languages Using Graph Transformations
PhD Seminar on Rewriting in Pisa, 2007.
