3 papers
cs.AI2026
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…
cs.AI2026
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…
quant-ph2024
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…