SecureCI 2016 Winter School PDF Print E-mail
TENACE

The SecureCI 2016 Winter School in "Securing Critical Infrastructures" will take place in Cortina D'Ampezzo (Italy) from the 17th to the 21st of January 2016.

The school is organized by several research groups belonging to different italian universities, partners of the TENACE project (2013-2016), which investigate the protection of national critical infrastructures from cyber threats following a collaborative approach whenever appropriate.

The school is mainly intended for PhD students interested in hot topics on securing critical infrastructures, from both a theoretical and a practical perspective.

All the information are available here: http://www.dis.uniroma1.it/~sdci2016/
Detailed introduction: http://www.dis.uniroma1.it/~sdci2016/index.html
About the Venue: http://www.dis.uniroma1.it/~sdci2016/venue-and-travel.html

Read more...
 
Evento conclusivo del progetto "Secure!" PDF Print E-mail
SECURE!

Evento conclusivo del progetto "Secure!"
Lo scorso 7 Maggio si è tenuto presso il CNR di Pisa l'evento conclusivo del progetto Secure!, dove sono stati presentati i principali risultati conseguiti nel progetto, assieme a demo dei principali prototipi.
Le slide presentate all'evento sono disponibili qui sotto in forma di webinar. Una versione in pdf della locandina dell'evento e dell'agenda finale può essere scaricata qui.

Final event of the "Secure!" project
On May 7th the Secure! conclusive event was held at CNR Pisa, where final results of the project were shown to a large audience togheter with demo of main prototypes.
The slides presented at the event are available below (Italian only). The leaaflet of the event, including the final agenda, can be downloaded here.

 
CECRIS: CErtification of CRItical Systems PDF Print E-mail
CECRIS

rsz cecris logo blue

Involvment type: participant
Project website: http://www.cecris-project.eu/
Start date: 01-01-2013
End date: 31-12-2016

The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.

The project focuses on the more difficult/important points of (safety, efficiency, business, .) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems. Moreover the project aims at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these type of activities, whose cost-quality achievements are well-predictable in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw-up guidelines to support engineers during the planning of the verification & validation phases.

 

Read more...
 
CHESS training material is now available! PDF Print E-mail
CHESS

The official training and demo material for the CHESS methodology and toolset is now available!

The CHESS project has developed a first set of prototypes of the tools, which are being evaluated by the industrial user partners in the project. Video demonstrations of the prototype tools are available.

Moreover, a training curriculum have been developed, to allow embedded systems developers to become familiar with the CHESS tools and methodology. The training videos, which include both slides and narration from CHESS experts, are now public and available for download as well!

 
Past Theses PDF Print E-mail
Theses

Ph.D. Theses

Members

  • PhD Thesis E. Schiavone. "Design and Evaluation of Multi-Biometric Approaches for Continuous Authentication and Non-Repudiation in Critical Services". Ph.D. thesis. 2019. [More] 
  • PhD Thesis T. Zoppi. "Towards Effective Anomaly Detection in Complex Dynamic Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Matematica, Informatica, Statistica (XXX ciclo). 2018. Supervisors: Andrea Bondavalli, Andrea Ceccarelli. [More] 
  • PhD Thesis N. Nostro. "Model-Based Approaches To Dependability And Security Assessment in Critical and Dynamic Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVII ciclo). March 18th, 2015. Supervisors: Prof. Andrea Bondavalli, Dr. Felicita Di Giandomenico. [More] 
  • PhD Thesis L. Montecchi. "A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVI ciclo). March 25th, 2014. Supervisor(s): A. Bondavalli. [More] 
  • PhD Thesis F. Brancati. "Adaptive and Safe Estimation of Different Sources of Uncertainty to Improve Dependability of Highly Dynamic Systems Through Online Monitoring Analysis". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XXIV ciclo). May 14th, 2012. Supervisor(s): A. Bondavalli. [More] 

Master's Theses

  • Master's Thesis E. Schiavone. "Autenticazione Continua Biometrica: Definizione e Prototipazione di una Soluzione per la Protezione di Ambienti Desktop". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 
  • Master's Thesis R. Bernini. "Integrazione di Formalismi Stocastici per L'Analisi e L'Ottimizzazione di Processi Industriali". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis T. Zoppi. "Metodologia, Ambiente di Test e Analisi dei Dati per lo Studio di Indicatori Middleware e di Sistema Finalizzata alla Rilevazione di Anomalie". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione. July 18th, 2014. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 
  • Master's Thesis M. Casciaro. "Modellizzazione ed Analisi di Security in un Sistema Automatico di Protezione Cantiere". Master's thesis. Università degli Studi di Firenze, Corso di Laurea Magistrale in Informatica. February 22th, 2013. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis L. Montecchi. "Un Modello Intermedio di Dependability Integrabile in un Processo di Model-Driven Engineering". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October 27th, 2010. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 

Bachelor's Theses

  • Other A. Baldecchi. "Software FMEA: tecniche, tools di supporto e sviluppi recenti". April 20th, 2016. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 20th, 2016. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi. [More] 
  • Other M. Buracchi. "Progettazione ed Implementazione di un Master Clock Sicuro ed Affidabile per Cyberphysical Systems of Systems". 2015. Università degli Studi di Firenze. Corso di Laurea in Informatica. October, 9th 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 
  • Other D. Zampini. "Sperimentazione dell'utilizzo di strumenti per la rilevazione online di anomalie in sistemi e infrastrutture critiche". 2011. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 21th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Brancati, A. Ceccarelli. [More] 
  • Other F. Gogaj. "Progettazione ed implementazione di un algoritmo per il calcolo dell'incertezza di sincronizzazione e sua integrazione in un prototipo di R&SACLOCK". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 21th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Brancati, A. Ceccarelli. [More] 
  • Other L. Montecchi. "Analisi e valutazione di reti UMTS". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
 
People PDF Print E-mail

The RCL group is composed by several members; more details are available here.

alt              The head of the RCL group is Prof. Andrea Bondavalli,

                                               Full Professor at University of Florence. 

 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 7 of 14

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web