Valerio Formicola

发表

Enhancing SIEM Technology to Protect Critical Infrastructures

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2012, CRITIS.

2014 IEEE Conference on Wireless Systems (ICWiSe 2014)

Ataul Bari, Saudi Arabia, Shukor Abd Razak, 2014 .

Attacking supercomputers through targeted alteration of environmental control: A data driven case study

Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Valerio Formicola, 2016, 2016 IEEE Conference on Communications and Network Security (CNS).

Critical Infrastructure Protection: having SIEM technology cope with network heterogeneity pdf

Valerio Formicola, Gianfranco Cerullo, Luigi Sgaglione, 2014, ArXiv.

Assessing the Impact of Cyber Attacks on Wireless Sensor Nodes That Monitor Interdependent Physical Systems

Salvatore D'Antonio, Valerio Formicola, Antonio Di Pietro, 2014, Critical Infrastructure Protection.

Enabling Convergence of Physical and Logical Security Through Intelligent Event Correlation

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2015, IDC.

Applying Extensions of Evidence Theory to Detect Frauds in Financial Infrastructures

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2015, Int. J. Distributed Sens. Networks.

VISE: Combining Intel SGX and Homomorphic Encryption for Cloud Industrial Control Systems

Luigi Coppolino, Valerio Formicola, Giovanni Mazzeo, 2021, IEEE Transactions on Computers.

Closing the loop of SIEM analysis to Secure Critical Infrastructures pdf

Ilaria Matteucci, Valerio Formicola, Cesario Di Sarno, 2014, ArXiv.

Use of the Dempster-Shafer Theory for Fraud Detection: The Mobile Money Transfer Case Study

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2014, IDC.

Correction to: Enhancing SIEM Technology to Protect Critical Infrastructures

Luigi Coppolino, Valerio Formicola, Luigi Romano, 2019, Critical Information Infrastructures Security.

Real-time Security & Dependability monitoring: Make it a bundle

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2014, 2014 International Carnahan Conference on Security Technology (ICCST).

A framework for mastering heterogeneity in multi-layer security information and event correlation

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2016, J. Syst. Archit..

Performance assessment of a distributed intrusion detection system in a real network scenario

Simon Pietro Romano, Salvatore D'Antonio, Valerio Formicola, 2010, 2010 Fifth International Conference on Risks and Security of Internet and Systems (CRiSIS).

Enhancing Intrusion Detection in Wireless Sensor Networks through Decision Trees

Valerio Formicola, Cesario Di Sarno, Alessia Garofalo, 2013, EWDC.

On the security of the terminal operations for container shipping in multimodal transport: The SIS-TEMA project

Luigi Coppolino, Valerio Formicola, Luigi Romano, 2011, 2011 6th International Conference on Risks and Security of Internet and Systems (CRiSIS).

Addressing Security Issues of Electronic Health Record Systems through Enhanced SIEM Technology

Valerio Formicola, Cesario Di Sarno, Giovanni Paragliola, 2013, 2013 International Conference on Availability, Reliability and Security.

Security issues of a phasor data concentrator for smart grid infrastructure

Luigi Coppolino, Valerio Formicola, Ivano Alessandro Elia, 2011, EWDC '11.

ICSrange: A Simulation-based Cyber Range Platform for Industrial Control Systems pdf

Valerio Formicola, Vincenzo Giuliano, 2019, ArXiv.

Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2011, SAFECOMP.

Use of the Dempster–Shafer theory to detect account takeovers in mobile money transfer services

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2015, J. Ambient Intell. Humaniz. Comput..

Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology

Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, 2012, SAFECOMP Workshops.

Understanding Fault Scenarios and Impacts through Fault Injection Experiments in Cielo pdf

Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Valerio Formicola, 2019, ArXiv.

An extended ns-2 for validation of load balancing algorithms in Content Delivery Networks

Simon Pietro Romano, Valerio Formicola, Francesco Oliviero, 2010, SimuTools.

Resiliency of HPC Interconnects: A Case Study of Interconnect Failures and Recovery in Blue Waters

Ravishankar K. Iyer, Valerio Formicola, Zbigniew Kalbarczyk, 2018, IEEE Transactions on Dependable and Secure Computing.

MAnagement of Security information and events in Service InFrastructures

Valerio Formicola, Roland Rieke, Andreas Fuchs, 2011 .