All Stories

  1. Automation for network security configuration: state of the art and research trends

    Article • ACM Computing Surveys, August 2023, ACM (Association for Computing Machinery)

    Professor Riccardo Sisto

  2. Multipoint Passive Monitoring in Packet Networks

    Article • IEEE/ACM Transactions on Networking, December 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  3. Formally sound implementations of security protocols with JavaSPI

    Article • Formal Aspects of Computing, December 2017, Springer Science + Business Media

    Professor Riccardo Sisto

  4. An efficient data exchange mechanism for chained network functions

    Article • Journal of Parallel and Distributed Computing, December 2017, Elsevier

    Professor Riccardo Sisto

  5. Interest Flooding Attack Countermeasures Assessment on Content Centric Networking

    Article • April 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  6. Push applications and dynamic content generation over content-centric networking

    Article • International Journal of Communication Systems, March 2015, Wiley

    Professor Riccardo Sisto

  7. Automatic Configuration of Opaque Network Functions in CMS

    Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  8. An efficient data exchange algorithm for chained network functions

    Article • July 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  9. PIT overload analysis in content centric networks

    Article • January 2013, ACM (Association for Computing Machinery)

    Professor Riccardo Sisto

  10. Formal verification of security protocol implementations: a survey

    Article • Formal Aspects of Computing, December 2012, Springer Science + Business Media

    Professor Riccardo Sisto

  11. Safe abstractions of data encodings in formal security protocol models

    Article • Formal Aspects of Computing, November 2012, Springer Science + Business Media

    Professor Riccardo Sisto

  12. Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification

    Article • October 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  13. Visual model-driven design, verification and implementation of security protocols

    Article • October 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

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

    Article • June 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  15. Formally based semi-automatic implementation of an open security protocol

    Article • Journal of Systems and Software, April 2012, Elsevier

    Professor Riccardo Sisto

  16. An approach to refinement checking of SysML requirements

    Article • September 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  17. The Java SPI Framework for Security Protocol Implementation

    Article • August 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  18. SPAF: Stateless FSA-Based Packet Filters

    Article • IEEE/ACM Transactions on Networking, February 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  19. Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access

    Article • IEEE Transactions on Industrial Informatics, February 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  20. JavaSPI

    Article • International Journal of Secure Software Engineering, January 2011, IGI Global

    Professor Riccardo Sisto

  21. iNFAnt

    Article • ACM SIGCOMM Computer Communication Review, October 2010, ACM (Association for Computing Machinery)

    Professor Riccardo Sisto

  22. Provably correct Java implementations of Spi Calculus security protocols specifications

    Article • Computers & Security, May 2010, Elsevier

    Professor Riccardo Sisto

  23. An experience in embedded control software verification

    Article • September 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  24. Tools for cryptographic protocols analysis: A technical and experimental comparison

    Article • Computer Standards & Interfaces, September 2009, Elsevier

    Professor Riccardo Sisto

  25. Detecting Chains of Vulnerabilities in Industrial Networks

    Article • IEEE Transactions on Industrial Informatics, May 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  26. Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code

    Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  27. Efficient representation of the attacker’s knowledge in cryptographic protocols analysis

    Article • Formal Aspects of Computing, April 2008, Springer Science + Business Media

    Professor Riccardo Sisto

  28. Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

    Article • March 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  29. A Lightweight Security Analyzer inside GCC

    Article • March 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  30. Vulnerability Modelling for the Analysis of Network Attacks

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  31. Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  32. An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation

    Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  33. Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols

    Article • June 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  34. Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems

    Article • June 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  35. Improving the security of industrial networks by means of formal verification

    Article • Computer Standards & Interfaces, March 2007, Elsevier

    Professor Riccardo Sisto

  36. A Grid-Powered Framework to Support Courses on Distributed Programming

    Article • IEEE Transactions on Education, February 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  37. EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS

    Article • International Journal of Foundations of Computer Science, August 2006, World Scientific Pub Co Pte Lt

    Professor Riccardo Sisto

  38. Implementing innovative services supporting user and terminal mobility: the SCARAB architecture

    Article • Journal of Systems and Software, August 2004, Elsevier

    Professor Riccardo Sisto

  39. Temporal logic properties of Java objects

    Article • Journal of Systems and Software, December 2003, Elsevier

    Professor Riccardo Sisto

  40. Automatic testing equivalence verification of spi calculus specifications

    Article • ACM Transactions on Software Engineering and Methodology, April 2003, ACM (Association for Computing Machinery)

    Professor Riccardo Sisto

  41. Using binary decision diagrams for representation and analysis of communication protocols

    Article • Computer Networks, January 2000, Elsevier

    Professor Riccardo Sisto

  42. A deadlock detection tool for concurrent Java programs

    Article • Software Practice and Experience, June 1999, Wiley

    Professor Riccardo Sisto

  43. Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions

    Article • IEEE Transactions on Computers, January 1995, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  44. A LOTOS extension for the performance analysis of distributed systems

    Article • IEEE/ACM Transactions on Networking, April 1994, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  45. Rapid prototyping of protocols from LOTOS specifications

    Article • Software Practice and Experience, January 1993, Wiley

    Professor Riccardo Sisto

  46. A protocol for multirendezvous of LOTOS processes

    Article • IEEE Transactions on Computers, April 1991, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  47. Parallel CRC generation

    Article • IEEE Micro, October 1990, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto

  48. The use of Estelle to specify manufacturing systems

    Article • Microprocessing and Microprogramming, March 1990, Elsevier

    Professor Riccardo Sisto

  49. Automated Formal Methods for Security Protocol Engineering

    Article • IGI Global

    Professor Riccardo Sisto

  50. Spi2Java: automatic cryptographic protocol Java code generation from SPI calculus

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Riccardo Sisto