Valerio Formicola

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 13

Top Topics

Differentially Private

Intrusion Detection

Wireless Sensor

Top Venues

ISSRE Workshops

Publications

Akram Hakiri, Aniruddha S. Gokhale, Yogesh D. Barve, Valerio Formicola, Shashank Shekhar, Charif Mahmoudi, Mohammad Ashiqur Rahman, Uttam Ghosh, Syed Rafay Hasan, Terry N. Guo
Techniques for Realizing Secure, Resilient and Differentiated 5G Operations. WMNC (2022)
Md Ali Reza Al Amin, Sachin Shetty, Valerio Formicola, Martin Otto
Assessing the Quality of Differentially Private Synthetic Data for Intrusion Detection. SecureComm (2022)
Abdul Manan, Ziran Min, Charif Mahmoudi, Valerio Formicola
Extending 5G services with Zero Trust security pillars: a modular approach. AICCSA (2022)
Cihan Tunc, James Durflinger, Charif Mahmoudi, Valerio Formicola
Autonomic ZTA-based Network Management Engine (AZNME). ISSRE Workshops (2022)
Ziran Min, Shashank Shekhar, Charif Mahmoudi, Valerio Formicola, Swapna S. Gokhale, Aniruddha Gokhale
Software-defined Dynamic 5G Network Slice Management for Industrial Internet of Things. NCA (2022)
Ziran Min, Shashank Shekhar, Charif Mahmoudi, Valerio Formicola, Swapna S. Gokhale, Aniruddha Gokhale
Dynamic 5G Network Slice Management Middleware for Industrial Internet of Things: Industry Paper. CoRR (2022)
Yuta Akiya, Kyle Thomas Le, Megan Luong, Justin C. Wilson, Anas Salah Eddin, Valerio Formicola, Mohamed El-Hadedy
SHA-3-LPHP: Hardware Acceleration of SHA-3 for Low-Power High-Performance Systems. ISSRE Workshops (2021)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Giovanni Mazzeo, Luigi Romano
VISE: Combining Intel SGX and Homomorphic Encryption for Cloud Industrial Control Systems. IEEE Trans. Computers 70 (5) (2021)
Vincenzo Giuliano, Valerio Formicola
ICSrange: A Simulation-based Cyber Range Platform for Industrial Control Systems. CoRR (2019)
Valerio Formicola, Saurabh Jha, Daniel Chen, Fei Deng, Amanda Bonnie, Mike Mason, Jim M. Brandt, Ann C. Gentile, Larry Kaplan, Jason Repik, Jeremy Enos, Mike Showerman, Annette Greiner, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Bill Kramer
Understanding Fault Scenarios and Impacts through Fault Injection Experiments in Cielo. CoRR (2019)
Saurabh Jha, Valerio Formicola, Catello Di Martino, Mark Dalton, William T. Kramer, Zbigniew Kalbarczyk, Ravishankar K. Iyer
Resiliency of HPC Interconnects: A Case Study of Interconnect Failures and Recovery in Blue Waters. IEEE Trans. Dependable Secur. Comput. 15 (6) (2018)
Key-whan Chung, Valerio Formicola, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer, Alexander Withers, Adam J. Slagell
Attacking supercomputers through targeted alteration of environmental control: A data driven case study. CNS (2016)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano
A framework for mastering heterogeneity in multi-layer security information and event correlation. J. Syst. Archit. 62 (2016)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano
Applying Extensions of Evidence Theory to Detect Frauds in Financial Infrastructures. Int. J. Distributed Sens. Networks 11 (2015)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Carmine Massei, Luigi Romano
Use of the Dempster-Shafer theory to detect account takeovers in mobile money transfer services. J. Ambient Intell. Humaniz. Comput. 6 (6) (2015)
Gianfranco Cerullo, Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Gaetano Papale, Bruno Ragucci
Enabling Convergence of Physical and Logical Security Through Intelligent Event Correlation. IDC (2015)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano
Real-time Security & Dependability monitoring: Make it a bundle. ICCST (2014)
Valerio Formicola, Antonio Di Pietro, Abdullah Alsubaie, Salvatore D'Antonio, José R. Martí
Assessing the Impact of Cyber Attacks on Wireless Sensor Nodes That Monitor Interdependent Physical Systems. Critical Infrastructure Protection (2014)
Alessia Garofalo, Cesario Di Sarno, Ilaria Matteucci, Marco Vallini, Valerio Formicola
Closing the loop of SIEM analysis to Secure Critical Infrastructures. CoRR (2014)
Gianfranco Cerullo, Valerio Formicola, Pietro Iamiglio, Luigi Sgaglione
Critical Infrastructure Protection: having SIEM technology cope with network heterogeneity. CoRR (2014)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Carmine Massei, Luigi Romano
Use of the Dempster-Shafer Theory for Fraud Detection: The Mobile Money Transfer Case Study. IDC (2014)
Cesario Di Sarno, Valerio Formicola, Mario Sicuranza, Giovanni Paragliola
Addressing Security Issues of Electronic Health Record Systems through Enhanced SIEM Technology. ARES (2013)
Alessia Garofalo, Cesario Di Sarno, Valerio Formicola
Enhancing Intrusion Detection in Wireless Sensor Networks through Decision Trees. EWDC (2013)
Luigi Romano, Salvatore D'Antonio, Valerio Formicola, Luigi Coppolino
Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology. SAFECOMP Workshops (2012)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano
Enhancing SIEM Technology to Protect Critical Infrastructures. CRITIS (2012)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano
Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study. SAFECOMP (2011)
Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Francesco Oliviero, Luigi Romano
On the Security of the Terminal Operations for Container Shipping in Multimodal Transport: the SIS-TEMA Project. CRiSIS (2011)
Salvatore D'Antonio, Luigi Coppolino, Ivano Alessandro Elia, Valerio Formicola
Security issues of a phasor data concentrator for smart grid infrastructure. EWDC (2011)
Francesco Cece, Valerio Formicola, Francesco Oliviero, Simon Pietro Romano
An extended ns-2 for validation of load balancing algorithms in Content Delivery Networks. SimuTools (2010)
Salvatore D'Antonio, Valerio Formicola, Claudio Mazzariello, Francesco Oliviero, Simon Pietro Romano
Performance assessment of a distributed intrusion detection system in a real network scenario. CRiSIS (2010)