Sfoglia per Rivista IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY
Mostrati risultati da 1 a 3 di 3
Development, Formal Verification and Evaluation of an eVoting System with VVPAT
2009-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Tiella, Roberto
Image retrieval by examples
2000-01-01 Brunelli, Roberto; Mich, Ornella
SARA: Secure Asynchronous Remote Attestation for IoT Systems
2020-01-01 Dushku, Edlira; Rabbani, Md Masoom; Conti, Mauro; Mancini, Luigi V.; Ranise, Silvio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Development, Formal Verification and Evaluation of an eVoting System with VVPAT | 1-gen-2009 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Tiella, Roberto | |
Image retrieval by examples | 1-gen-2000 | Brunelli, Roberto; Mich, Ornella | |
SARA: Secure Asynchronous Remote Attestation for IoT Systems | 1-gen-2020 | Dushku, Edlira; Rabbani, Md Masoom; Conti, Mauro; Mancini, Luigi V.; Ranise, Silvio |
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