Follow
Matteo Avalle
Matteo Avalle
Verified email at polito.it
Title
Cited by
Cited by
Year
Formal verification of security protocol implementations: a survey
M Avalle, A Pironti, R Sisto
Formal Aspects of Computing 26, 99-123, 2014
942014
The Java SPI framework for security protocol implementation
M Avalle, A Pironti, R Sisto, D Pozza
2011 Sixth International Conference on Availability, Reliability and …, 2011
432011
Scalable algorithms for NFA multi-striding and NFA-based deep packet inspection on GPUs
M Avalle, F Risso, R Sisto
IEEE/ACM Transactions on Networking 24 (3), 1704-1717, 2015
262015
Efficient multistriding of large non-deterministic finite state automata for deep packet inspection
M Avalle, F Risso, R Sisto
2012 IEEE International Conference on Communications (ICC), 1079-1084, 2012
92012
Formally sound implementations of security protocols with JavaSPI
R Sisto, P Bettassa Copet, M Avalle, A Pironti
Formal Aspects of Computing 30, 279-317, 2018
82018
New Techniques to Improve Network Security.
M Avalle
Polytechnic University of Turin, Italy, 2014
2014
JavaSPI
M Avalle, A Pironti, D Pozza, R Sisto
2013
The system can't perform the operation now. Try again later.
Articles 1–7