| Formal verification of security protocol implementations: a survey M Avalle, A Pironti, R Sisto Formal Aspects of Computing 26, 99-123, 2014 | 95 | 2014 |
| 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 | 43 | 2011 |
| 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 | 27 | 2015 |
| 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 | 9 | 2012 |
| 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 | 8 | 2018 |
| 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 |
