Master of Science

• Programmazione distribuita I. A.A. 2011/12, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione distribuita II. A.A. 2011/12, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Protocolli e architetture di routing. A.A. 2012/13, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Computer network technologies and services. A.A. 2012/13, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Distributed programming II. A.A. 2012/13, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Tecnologie e servizi di rete. A.A. 2012/13, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Distributed programming. A.A. 2011/12, INGEGNERIA TELEMATICA (COMPUTER AND COMMUNICATION NETWORKS ENGINEERING). Collaboratore del corso

• Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo (2014)
  Formal Verification of Security Protocol Implementations: A Survey. In: FORMAL ASPECTS OF COMPUTING, vol. 26, pp. 99-123. ISSN 0934-5043
  Contributo su Rivista
• Avalle, MATTEO CARLO (2014)
  New Techniques to Improve Network Security. relatore: Sisto R., 26. XXVI, P.: 110
  Doctoral Thesis
• Avalle, MATTEO CARLO; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo (2012)
  Efficient Multistriding of Large Non-deterministic Finite State Automata for Deep Packet Inspection. In: IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2012), Ottawa, Canada, June 10-15, 2012, pp. 1079-1084. ISBN: 9781457720529
  Contributo in Atti di Convegno (Proceeding)
• Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo; Pozza, Davide (2011)
  The JavaSPI Framework for Security Protocol Implementation. In: Sixth International Conference on Availability, Reliability and Security (ARES), Vienna (Austria), 22-26 Aug. 2011, pp. 746-751. ISBN: 9781457709791
  Contributo in Atti di Convegno (Proceeding)