20 citations · 41 across the 5 of their papers we have counts for
5 papers
Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures
Roberto Luvini, Giacomo Longo, Alessandro Armando +1
Air traffic control procedures are executed through spoken exchanges between controllers and pilots. These interactions are essential to the safety of air transportation: failures…
TRACE-CTI: Auditable Post-Extraction Governance of TTP Claims with Knowledge Graphs
Federico Valletta, Giacomo Longo, Enrico Russo +1
Security Operations Centers increasingly rely on automated mapping of Cyber Threat Intelligence reports to MITRE ATT&CK, yet extractor outputs remain fallible and are often stored…
Bilateral photon emission from a vibrating mirror and multiphoton entanglement generation
Alberto Mercurio, Enrico Russo, Fabio Mauceri +4
Entanglement plays a crucial role in the development of quantum-enabled devices. One significant objective is the deterministic creation and distribution of entangled states, achie…
LiDiTE: a Full-Fledged and Featherweight Digital Twin Framework
Enrico Russo, Gabriele Costa, Giacomo Longo +2
The rising of the Cyber-Physical System (CPS) and the Industry 4.0 paradigms demands the design and the implementation of Digital Twin Frameworks (DTFs) that may support the quick…
Automating the Generation of Cyber Range Virtual Scenarios with VSDL
Gabriele Costa, Enrico Russo, Alessandro Armando
A cyber range is an environment used for training security experts and testing attack and defence tools and procedures. Usually, a cyber range simulates one or more critical infras…