The Java SPI Framework for Security Protocol Implementation. - Matteo Avalle; Alfredo Pironti 001; Riccardo Sisto; Davide Pozza (ARES, 2011)

JavaSPI: A Framework for Security Protocol Implementation. - Matteo Avalle; Alfredo Pironti 001; Davide Pozza; Riccardo Sisto (Int. J. Secur. Softw. Eng., 2011)

Efficient multistriding of large non-deterministic finite state automata for deep packet inspection. - Matteo Avalle; Fulvio Risso; Riccardo Sisto (ICC, 2012)

Formal verification of security protocol implementations: a survey. - Matteo Avalle; Alfredo Pironti 001; Riccardo Sisto (Formal Aspects Comput., 2014)

New Techniques to Improve Network Security. - Matteo Avalle (2014)

Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs. - Matteo Avalle; Fulvio Risso; Riccardo Sisto (IEEE/ACM Trans. Netw., 2016)

Formally sound implementations of security protocols with JavaSPI. - Riccardo Sisto; Piergiuseppe Bettassa Copet; Matteo Avalle; Alfredo Pironti 001 (Formal Aspects Comput., 2018)