COMPAGNA, LUCA
COMPAGNA, LUCA
38 - Dipartimento di Informatica e Scienze dell'Informazione (DISI) (attivo dal 01/03/1992 al 18/07/2012)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.002 secondi).
LTL Model Checking for Security Protocols
2009-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
ModSec-AdvLearn: Countering Adversarial SQL Injections With Robust Machine Learning
2025-01-01 Floris, G.; Scano, C.; Montaruli, B.; Demetrio, L.; Valenza, A.; Compagna, L.; Ariu, D.; Piras, L.; Balzarotti, D.; Biggio, B.
SAT-based Model Checking for Security Protocols Analysis
2008-01-01 Armando, Alessandro; Compagna, Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| LTL Model Checking for Security Protocols | 1-gen-2009 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
| ModSec-AdvLearn: Countering Adversarial SQL Injections With Robust Machine Learning | 1-gen-2025 | Floris, G.; Scano, C.; Montaruli, B.; Demetrio, L.; Valenza, A.; Compagna, L.; Ariu, D.; Piras, L.; Balzarotti, D.; Biggio, B. | |
| SAT-based Model Checking for Security Protocols Analysis | 1-gen-2008 | Armando, Alessandro; Compagna, Luca |