Riccardo Sisto
Polytechnic University of Turin(IT)Politecnico di Torino(IT)
Publications by Year
Research Areas
Software-Defined Networks and 5G, Advanced Authentication Protocols Security, Formal Methods in Verification, Network Security and Intrusion Detection, User Authentication and Security Systems
Most-Cited Works
- → Distributed-Memory Model Checking with SPIN(1999)147 cited
- → A deadlock detection tool for concurrent Java programs(1999)134 cited
- → dSPIN: A Dynamic Extension of SPIN(1999)98 cited
- → Parallel CRC generation(1990)96 cited
- → iNFAnt(2010)94 cited
- → Using SPIN to Verify Security Properties of Cryptographic Protocols(2002)69 cited
- → Formal verification of security protocol implementations: a survey(2012)