BRAMANTE, SALVATORE
BRAMANTE, SALVATORE
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A formally verified secure caching mechanism on trustzone-enabled microcontrollers
2026 Bramante, Salvatore; Busi, Matteo; Cilardo, Alessandro; Focardi, Riccardo; Luccio, Flaminia; Mercogliano, Stefano
Beyond checklists: automated legal compliance check in regulatory sandboxes
2026 Bernabei, Pietro; Bramante, Salvatore; Ciarravano, Ludovica; Pannullo, Fernando
Cybercity: a practical approach to teach and learn cybersecurity in smart cities
2024 De Vito, Luca; Bramante, Salvatore; D'Angelo, Mauro; Marinova, Galia; Orozco-Messana, Javier
Security auditing for RISC-V SoCs via process mining
2027 Bramante, Salvatore; Busi, Matteo; Cilardo, Alessandro; Focardi, Riccardo; Luccio, Flaminia; Mazzocca, Nicola; Vitale, Francesco
Towards energy-efficient federated anomaly detection in dynamic environments
2026 Vitale, Francesco; Bramante, Salvatore; Cilardo, Alessandro; Flammini, Francesco; Mazzocca, Nicola
Understanding energy efficiency of AI deployments in IoT-driven smart cities
2026 Bramante, Salvatore; Ferrandino, Filippo; Cilardo, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A formally verified secure caching mechanism on trustzone-enabled microcontrollers | 1-gen-2026 | Bramante, Salvatore; Busi, Matteo; Cilardo, Alessandro; Focardi, Riccardo; Luccio, Flaminia; Mercogliano, Stefano | |
| Beyond checklists: automated legal compliance check in regulatory sandboxes | 1-gen-2026 | Bernabei, Pietro; Bramante, Salvatore; Ciarravano, Ludovica; Pannullo, Fernando | |
| Cybercity: a practical approach to teach and learn cybersecurity in smart cities | 1-gen-2024 | De Vito, Luca; Bramante, Salvatore; D'Angelo, Mauro; Marinova, Galia; Orozco-Messana, Javier | |
| Security auditing for RISC-V SoCs via process mining | 1-gen-2027 | Bramante, Salvatore; Busi, Matteo; Cilardo, Alessandro; Focardi, Riccardo; Luccio, Flaminia; Mazzocca, Nicola; Vitale, Francesco | |
| Towards energy-efficient federated anomaly detection in dynamic environments | 1-gen-2026 | Vitale, Francesco; Bramante, Salvatore; Cilardo, Alessandro; Flammini, Francesco; Mazzocca, Nicola | |
| Understanding energy efficiency of AI deployments in IoT-driven smart cities | 1-gen-2026 | Bramante, Salvatore; Ferrandino, Filippo; Cilardo, Alessandro |