AVALLE, MATTEO CARLO

AVALLE, MATTEO CARLO  

027404  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.012 secondi).
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.pdf10.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.pdf16TON-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.pdfEfficient_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.pdfThe_Java_SPI_Framework_for_Security_Protocol_Implementation.pdf