Matteo Avalle

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Automated Design

Security Protocols

Artificial Immune Algorithm

Deterministic Finite State Automata

Top Venues

Formal Aspects Comput.

IEEE/ACM Trans. Netw.

Publications

Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti
Formally sound implementations of security protocols with JavaSPI. Formal Aspects Comput. 30 (2) (2018)
Matteo Avalle, Fulvio Risso, Riccardo Sisto
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs. IEEE/ACM Trans. Netw. 24 (3) (2016)
Matteo Avalle, Alfredo Pironti, Riccardo Sisto
Formal verification of security protocol implementations: a survey. Formal Aspects Comput. 26 (1) (2014)
Matteo Avalle, Fulvio Risso, Riccardo Sisto
Efficient multistriding of large non-deterministic finite state automata for deep packet inspection. ICC (2012)
Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto
JavaSPI: A Framework for Security Protocol Implementation. Int. J. Secur. Softw. Eng. 2 (4) (2011)
Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza
The Java SPI Framework for Security Protocol Implementation. ARES (2011)