Federico Tonelli

According to our database, Federico Tonelli authored at least 18 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Sequential pattern mining for ICT risk assessment and management.

Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli

J. Log. Algebraic Methods Program., 2019

2017

A formal approach to automatically assess and manage ICT risk.

Federico Tonelli

PhD thesis, 2017

Sequential Pattern Mining for ICT Risk Assessment and Prevention.

Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli

Proceedings of the Software Engineering and Formal Methods, 2017

Using S-Rules to Fire Dynamic Countermeasures.

Fabrizio Baiardi, Jacopo Lipilini, Federico Tonelli

Proceedings of the 25th Euromicro International Conference on Parallel, 2017

2016

Application Vulnerabilities in Risk Assessment and Management.

Fabrizio Baiardi, Federico Tonelli, Lorenzo Isoni

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2016

An Extension of Haruspex to Cover Vulnerabilities in Application Environments.

Fabrizio Baiardi, Federico Tonelli, Lorenzo Isoni

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Assessing and Managing Risk by Simulating Attack Chains.

Fabrizio Baiardi, Federico Tonelli, A. D. Ruggiero Di Biase

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015

Selecting Countermeasures for ICT Systems Before They are Attacked.

Fabrizio Baiardi, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2015

Iterative selection of countermeasures for intelligent threat agents.

Fabrizio Baiardi, Federico Tonelli, Alessandro Bertolini

Int. J. Netw. Manag., 2015

Assessing and managing the information and communication risk of power generation.

Fabrizio Baiardi, Federico Tonelli, Luca Guidi, Daniela Pestonesi, V. Angeletti

Comput. Electr. Eng., 2015

CyVar: Extending Var-At-Risk to ICT.

Fabrizio Baiardi, Federico Tonelli, Alessandro Bertolini

Proceedings of the Risk Assessment and Risk-Driven Testing - Third International Workshop, 2015

Iterative Selection of Cost-Effective Countermeasures for Intelligent Threat Agents.

Fabrizio Baiardi, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2014

Automating the assessment of ICT risk.

Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Daniele Sgandurra

J. Inf. Secur. Appl., 2014

A Scenario Method to Automatically Assess ICT Risk.

Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Daniele Sgandurra

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Assessing and Managing ICT Risk with Partial Information.

Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti, Daniela Pestonesi

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Security Stress: Evaluating ICT Robustness Through a Monte Carlo Method.

Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti, Luca Guidi

Proceedings of the Critical Information Infrastructures Security, 2014

2013

QSec: Supporting Security Decisions on an IT Infrastructure.

Fabrizio Baiardi, Federico Tonelli, Fabio Corò, Luca Guidi

Proceedings of the Critical Information Infrastructures Security, 2013

GVScan: Scanning Networks for Global Vulnerabilities.

Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Luca Guidi

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013