Riccardo Sisto
Orcid: 0000-0002-3142-2383
According to our database1,
Riccardo Sisto
authored at least 122 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
ACM Comput. Surv., March, 2024
2023
Comput. Networks, June, 2023
IEEE Trans. Dependable Secur. Comput., 2023
Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023
Automating the configuration of firewalls and channel protection systems in virtual networks.
Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023
Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023
A demonstration of VEREFOO: an automated framework for virtual firewall configuration.
Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023
Proceedings of the IEEE Conference on Standards for Communications and Networking, 2023
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols.
Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023
2022
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks.
Comput. Networks, 2022
Proceedings of the 8th IEEE International Conference on Network Softwarization, 2022
2021
IEEE Trans. Netw. Serv. Manag., 2021
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks.
IEEE Trans. Ind. Informatics, 2021
Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021
2020
RFC, August, 2020
IEEE Veh. Technol. Mag., 2020
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems.
Proceedings of the 16th IEEE International Conference on Factory Communication Systems, 2020
Proceedings of the NOMS 2020, 2020
Introducing programmability and automation in the synthesis of virtual firewall rules.
Proceedings of the 6th IEEE Conference on Network Softwarization, 2020
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks.
Proceedings of the CYSARM@CCS '20: Proceedings of the 2nd Workshop on Cyber-Security Arms Race, 2020
2019
Formally specifying and checking policies and anomalies in service function chaining.
J. Netw. Comput. Appl., 2019
IEEE Access, 2019
Proceedings of the 2019 IEEE Vehicular Networking Conference, 2019
Proceedings of the 2019 4th International Conference on Computing, 2019
Proceedings of the Applied Networking Research Workshop, 2019
2018
J. Parallel Distributed Comput., 2018
Seamless Configuration of Virtual Network Functions in Data Center Provider Networks.
J. Netw. Syst. Manag., 2018
Formal Aspects Comput., 2018
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018
Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks.
Proceedings of the 2018 IEEE Conference on Standards for Communications and Networking, 2018
Proceedings of the 14th International Conference on Network and Service Management, 2018
2017
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017
Int. J. Commun. Syst., 2017
Comput. Stand. Interfaces, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs.
IEEE/ACM Trans. Netw., 2016
2015
Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015
Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015
Proceedings of the 12th International Conference on Information Technology, 2015
Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015
2014
Formal Aspects Comput., 2014
Formal Aspects Comput., 2014
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014
Proceedings of the IEEE 15th International Conference on High Performance Switching and Routing, 2014
Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014
2013
Proceedings of the IEEE International Conference on Communications, 2013
2012
J. Syst. Softw., 2012
Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification.
Proceedings of the 2012 Ubiquitous Positioning, 2012
Efficient multistriding of large non-deterministic finite state automata for deep packet inspection.
Proceedings of IEEE International Conference on Communications, 2012
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
2011
IEEE Trans. Ind. Informatics, 2011
Int. J. Secur. Softw. Eng., 2011
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011
Proceedings of the Sixth International Conference on Availability, 2011
2010
Provably correct Java implementations of Spi Calculus security protocols specifications.
Comput. Secur., 2010
2009
IEEE Trans. Ind. Informatics, 2009
Comput. Stand. Interfaces, 2009
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009
2008
Efficient representation of the attacker's knowledge in cryptographic protocols analysis.
Formal Aspects Comput., 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models.
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008
Proceedings of the The Third International Conference on Availability, 2008
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models.
Proceedings of the The Third International Conference on Availability, 2008
2007
IEEE Trans. Educ., 2007
Comput. Stand. Interfaces, 2007
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007
2006
Int. J. Found. Comput. Sci., 2006
Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), 2006
2005
Proceedings of the Detection of Intrusions and Malware, 2005
2004
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture.
J. Syst. Softw., 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004
2003
ACM Trans. Softw. Eng. Methodol., 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
2002
Experiments on Formal Verification of Mobile Agent Data Integrity Properties.
Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002
Proceedings of the Model Checking of Software, 2002
2001
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study.
Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study.
Proceedings of the Mobile Agents, 5th International Conference, 2001
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001
2000
Using binary decision diagrams for representation and analysis of communication protocols.
Comput. Networks, 2000
Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.
Proceedings of the Formal Techniques for Distributed System Development, 2000
1999
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999
1998
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
1995
IEEE Trans. Computers, 1995
A method to build symbolic representations of LOTOS specifications.
Proceedings of the Protocol Specification, 1995
1994
IEEE/ACM Trans. Netw., 1994
Softw. Eng. J., 1994
A LOTOS specification of the SERCOS field-bus protocol.
Proceedings of the SEKE'94, 1994
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994
1993
1992
Proceedings of the 17th Conference on Local Computer Networks, 1992
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992
1991
1990
Microprocessing and Microprogramming, 1990
Modeling the execution of LOTOS specifications by cooperating extended finite state machines.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990