Archivio Istituzionale della RicercaAVALLE, MATTEO CARLO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.009 secondi).
Formally sound implementations of security protocols with JavaSPI
2018 Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs
2016 Avalle, MATTEO CARLO; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo
Formal Verification of Security Protocol Implementations: A Survey
2014 Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo
JavaSPI: A Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| 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.pdf; 10.1007_s00165-017-0449-8.pdf |
| 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.pdf; 16TON-mstride-published.pdf |
| 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 |
| 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 | - |