Archivio Istituzionale della RicercaAVALLE, MATTEO CARLO
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.005 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
New Techniques to Improve Network Security
2014 Avalle, MATTEO CARLO
Efficient Multistriding of Large Non-deterministic Finite State Automata for Deep Packet Inspection
2012 Avalle, MATTEO CARLO; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo
JavaSPI: A Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
The JavaSPI Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo; Pozza, Davide
| 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 |
| New Techniques to Improve Network Security / Avalle, MATTEO CARLO. - (2014). [10.6092/polito/porto/2574140] | 1-gen-2014 | AVALLE, MATTEO CARLO | Matteo Avalle (178789) - Tesi dottorato.pdf |
| Efficient Multistriding of Large Non-deterministic Finite State Automata for Deep Packet Inspection / Avalle, MATTEO CARLO; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo. - STAMPA. - (2012), pp. 1079-1084. (Intervento presentato al convegno IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2012) tenutosi a Ottawa, Canada nel June 10-15, 2012) [10.1109/ICC.2012.6364235]. | 1-gen-2012 | AVALLE, MATTEO CARLORISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo | bare_conf.pdf; Efficient_multistriding_of_large_non-deterministic_finite_state_automata_for_deep_packet_inspection.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 | - |
| The JavaSPI Framework for Security Protocol Implementation / Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo; Pozza, Davide. - STAMPA. - (2011), pp. 746-751. (Intervento presentato al convegno Sixth International Conference on Availability, Reliability and Security (ARES) tenutosi a Vienna (Austria) nel 22-26 Aug. 2011) [10.1109/ARES.2011.117]. | 1-gen-2011 | AVALLE, MATTEO CARLOPIRONTI, ALFREDOSISTO, RiccardoPOZZA, DAVIDE | ares2011_author_postprint.pdf; The_Java_SPI_Framework_for_Security_Protocol_Implementation.pdf |