Matteo Avalle

According to our database, Matteo Avalle authored at least 7 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formally sound implementations of security protocols with JavaSPI.

Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti

Formal Aspects Comput., 2018

2016

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

2014

New Techniques to Improve Network Security.

Matteo Avalle

PhD thesis, 2014

Formal verification of security protocol implementations: a survey.

Matteo Avalle, Alfredo Pironti, Riccardo Sisto

Formal Aspects Comput., 2014

2012

Efficient multistriding of large non-deterministic finite state automata for deep packet inspection.

Matteo Avalle, Fulvio Risso, Riccardo Sisto

Proceedings of IEEE International Conference on Communications, 2012

2011

JavaSPI: A Framework for Security Protocol Implementation.

Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto

Int. J. Secur. Softw. Eng., 2011

The Java SPI Framework for Security Protocol Implementation.

Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza

Proceedings of the Sixth International Conference on Availability, 2011