Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Code obfuscation against abstraction refinement attacks
2018-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Abstract extensionality: on the properties of incomplete abstract interpretations
2020-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko
A Correctness and Incorrectness Program Logic
2023-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Code obfuscation against abstraction refinement attacks | 1-gen-2018 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta | |
Abstract extensionality: on the properties of incomplete abstract interpretations | 1-gen-2020 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko | |
A Correctness and Incorrectness Program Logic | 1-gen-2023 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile