Valerio Formicola

30 papers B 3C 5Misc 2Journal 10Unranked 10

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