DANESE, ALESSANDRO
DANESE, ALESSANDRO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences
2020-01-01 Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures
2019-01-01 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences | 1-gen-2020 | Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano | |
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures | 1-gen-2019 | Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano |