AVALLE, MATTEO CARLO

AVALLE, MATTEO CARLO  

027404  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
Citazione Data di pubblicazione Autori File
Formal Verification of Security Protocol Implementations: A Survey / Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 26:1(2014), pp. 99-123. [10.1007/s00165-012-0269-9] 1-gen-2014 AVALLE, MATTEO CARLOPIRONTI, ALFREDOSISTO, Riccardo article.pdf
Formally sound implementations of security protocols with JavaSPI / Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 30:2(2018), pp. 279-317. [10.1007/s00165-017-0449-8] 1-gen-2018 Sisto, RiccardoBettassa Copet, PiergiuseppeAvalle, Matteo + AuthorsPostPrint.pdf10.1007_s00165-017-0449-8.pdf
JavaSPI: A Framework for Security Protocol Implementation / Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo. - In: INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING. - ISSN 1947-3036. - STAMPA. - 2:4(2011), pp. 34-48. [10.4018/jsse.2011100103] 1-gen-2011 AVALLE, MATTEO CARLOPIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo -
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs / Avalle, MATTEO CARLO; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 24:3(2016), pp. 1704-1717. [10.1109/TNET.2015.2429918] 1-gen-2016 AVALLE, MATTEO CARLORISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo 15TON-mstride.pdf16TON-mstride-published.pdf