Performance assessment of a distributed intrusion detection system in a real network scenario. - Salvatore D'Antonio; Valerio Formicola; Claudio Mazzariello; Francesco Oliviero; Simon Pietro Romano (CRiSIS, 2010)

An extended ns-2 for validation of load balancing algorithms in Content Delivery Networks. - Francesco Cece; Valerio Formicola; Francesco Oliviero; Simon Pietro Romano (SimuTools, 2010)

On the Security of the Terminal Operations for Container Shipping in Multimodal Transport: the SIS-TEMA Project. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Francesco Oliviero; Luigi Romano (CRiSIS, 2011)

Security issues of a phasor data concentrator for smart grid infrastructure. - Salvatore D'Antonio; Luigi Coppolino; Ivano Alessandro Elia; Valerio Formicola (EWDC, 2011)

Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Luigi Romano (SAFECOMP, 2011)

Enhancing SIEM Technology to Protect Critical Infrastructures. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Luigi Romano (CRITIS, 2012)

Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology. - Luigi Romano; Salvatore D'Antonio; Valerio Formicola; Luigi Coppolino (SAFECOMP Workshops, 2012)

Addressing Security Issues of Electronic Health Record Systems through Enhanced SIEM Technology. - Cesario Di Sarno; Valerio Formicola; Mario Sicuranza; Giovanni Paragliola (ARES, 2013)

Enhancing Intrusion Detection in Wireless Sensor Networks through Decision Trees. - Alessia Garofalo; Cesario Di Sarno; Valerio Formicola (EWDC, 2013)

Real-time Security & Dependability monitoring: Make it a bundle. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Luigi Romano (ICCST, 2014)

Use of the Dempster-Shafer Theory for Fraud Detection: The Mobile Money Transfer Case Study. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Carmine Massei; Luigi Romano (IDC, 2014)

Assessing the Impact of Cyber Attacks on Wireless Sensor Nodes That Monitor Interdependent Physical Systems. - Valerio Formicola; Antonio Di Pietro; Abdullah Alsubaie; Salvatore D'Antonio; José R. Martí (Critical Infrastructure Protection, 2014)

Critical Infrastructure Protection: having SIEM technology cope with network heterogeneity. - Gianfranco Cerullo; Valerio Formicola; Pietro Iamiglio; Luigi Sgaglione (CoRR, 2014)

Closing the loop of SIEM analysis to Secure Critical Infrastructures. - Alessia Garofalo; Cesario Di Sarno; Ilaria Matteucci; Marco Vallini; Valerio Formicola (CoRR, 2014)

Enabling Convergence of Physical and Logical Security Through Intelligent Event Correlation. - Gianfranco Cerullo; Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Gaetano Papale; Bruno Ragucci (IDC, 2015)

Applying Extensions of Evidence Theory to Detect Frauds in Financial Infrastructures. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Luigi Romano (Int. J. Distributed Sens. Networks, 2015)

Use of the Dempster-Shafer theory to detect account takeovers in mobile money transfer services. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Carmine Massei; Luigi Romano (J. Ambient Intell. Humaniz. Comput., 2015)

Attacking supercomputers through targeted alteration of environmental control: A data driven case study. - Key-whan Chung; Valerio Formicola; Zbigniew T. Kalbarczyk; Ravishankar K. Iyer; Alexander Withers; Adam J. Slagell (CNS, 2016)

A framework for mastering heterogeneity in multi-layer security information and event correlation. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Luigi Romano (J. Syst. Archit., 2016)

Resiliency of HPC Interconnects: A Case Study of Interconnect Failures and Recovery in Blue Waters. - Saurabh Jha; Valerio Formicola; Catello Di Martino; Mark Dalton; William T. Kramer; Zbigniew Kalbarczyk; Ravishankar K. Iyer (IEEE Trans. Dependable Secur. Comput., 2018)

Understanding Fault Scenarios and Impacts through Fault Injection Experiments in Cielo. - Valerio Formicola; Saurabh Jha; Daniel Chen 001; Fei Deng; Amanda Bonnie; Mike Mason; Jim M. Brandt; Ann C. Gentile; Larry Kaplan; Jason Repik; Jeremy Enos; Mike Showerman; et al. (CoRR, 2019)

ICSrange: A Simulation-based Cyber Range Platform for Industrial Control Systems. - Vincenzo Giuliano; Valerio Formicola (CoRR, 2019)

SHA-3-LPHP: Hardware Acceleration of SHA-3 for Low-Power High-Performance Systems. - Yuta Akiya; Kyle Thomas Le; Megan Luong; Justin C. Wilson; Anas Salah Eddin; Valerio Formicola; Mohamed El-Hadedy 001 (ISSRE Workshops, 2021)

VISE: Combining Intel SGX and Homomorphic Encryption for Cloud Industrial Control Systems. - Luigi Coppolino; Salvatore D'Antonio; Valerio Formicola; Giovanni Mazzeo; Luigi Romano (IEEE Trans. Computers, 2021)

Extending 5G services with Zero Trust security pillars: a modular approach. - Abdul Manan; Ziran Min; Charif Mahmoudi; Valerio Formicola (AICCSA, 2022)

Autonomic ZTA-based Network Management Engine (AZNME). - Cihan Tunc; James Durflinger; Charif Mahmoudi; Valerio Formicola (ISSRE Workshops, 2022)

Techniques for Realizing Secure, Resilient and Differentiated 5G Operations. - Akram Hakiri; Aniruddha S. Gokhale; Yogesh D. Barve; Valerio Formicola; Shashank Shekhar 001; Charif Mahmoudi; Mohammad Ashiqur Rahman; Uttam Ghosh; Syed Rafay Hasan; Terry N. Guo (WMNC, 2022)

Software-defined Dynamic 5G Network Slice Management for Industrial Internet of Things. - Ziran Min; Shashank Shekhar 001; Charif Mahmoudi; Valerio Formicola; Swapna S. Gokhale; Aniruddha Gokhale (NCA, 2022)

Assessing the Quality of Differentially Private Synthetic Data for Intrusion Detection. - Md Ali Reza Al Amin; Sachin Shetty; Valerio Formicola; Martin Otto 002 (SecureComm, 2022)

Dynamic 5G Network Slice Management Middleware for Industrial Internet of Things: Industry Paper. - Ziran Min; Shashank Shekhar 001; Charif Mahmoudi; Valerio Formicola; Swapna S. Gokhale; Aniruddha Gokhale (CoRR, 2022)