| Distributed-memory model checking with SPIN F Lerda, R Sisto SPIN 99, 22-39, 1999 | 247 | 1999 |
| A deadlock detection tool for concurrent Java programs C Demartini, R Iosif, R Sisto Software: Practice and Experience 29 (7), 577-603, 1999 | 189 | 1999 |
| dSPIN: A dynamic extension of SPIN C Demartini, R Iosif, R Sisto Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th …, 1999 | 149 | 1999 |
| Parallel CRC generation G Albertengo, R Sisto IEEE Micro 10 (5), 63-71, 1990 | 149 | 1990 |
| iNFAnt: NFA pattern matching on GPGPU devices N Cascarano, P Rolando, F Risso, R Sisto ACM SIGCOMM Computer Communication Review 40 (5), 20-26, 2010 | 142 | 2010 |
| Using SPIN to verify security properties of cryptographic protocols P Maggi, R Sisto Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002 | 138 | 2002 |
| A LOTOS extension for the performance analysis of distributed systems MA Marsan, A Bianco, L Ciminiera, R Sisto, A Valenzano IEEE/ACM Transactions on Networking 2 (2), 151-165, 1994 | 85 | 1994 |
| Formal verification of security protocol implementations: a survey M Avalle, A Pironti, R Sisto Formal Aspects of Computing 26, 99-123, 2014 | 84 | 2014 |
| Automatic testing equivalence verification of spi calculus specifications L Durante, R Sisto, A Valenzano ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (2), 222-284, 2003 | 83 | 2003 |
| Spi2java: Automatic cryptographic protocol java code generation from spi calculus D Pozza, R Sisto, L Durante 18th International Conference on Advanced Information Networking and …, 2004 | 80 | 2004 |
| PIT overload analysis in content centric networks M Virgilio, G Marchetto, R Sisto Proceedings of the 3rd ACM SIGCOMM workshop on Information-centric …, 2013 | 66 | 2013 |
| Formal vulnerability analysis of a security system for remote fieldbus access M Cheminod, A Pironti, R Sisto IEEE Transactions on Industrial Informatics 7 (1), 30-40, 2011 | 63 | 2011 |
| Detecting chains of vulnerabilities in industrial networks M Cheminod, IC Bertolotti, L Durante, P Maggi, D Pozza, R Sisto, ... IEEE Transactions on Industrial Informatics 5 (2), 181-193, 2009 | 47 | 2009 |
| A configurable mobile agent data protection protocol P Maggi, R Sisto Proceedings of the second international joint conference on Autonomous …, 2003 | 43 | 2003 |
| Modeling and validation of Java multithreading applications using SPIN C Demartini, R Iosif, R Sisto Proceedings of the 4th SPIN Workshop, 1998 | 42 | 1998 |
| 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 | 40 | 2011 |
| Formal verification of virtual network function graphs in an sp-devops context S Spinoso, M Virgilio, W John, A Manzalini, G Marchetto, R Sisto Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015 …, 2015 | 39 | 2015 |
| Comparing lexical analysis tools for buffer overflow detection in network software D Pozza, R Sisto, L Durante, A Valenzano 2006 1st International Conference on Communication Systems Software …, 2006 | 35 | 2006 |
| A protocol for multirendezvous of LOTOS processes R Sisto, L Ciminiera, A Valenzano IEEE transactions on computers 40 (04), 437-447, 1991 | 35 | 1991 |
| Provably correct Java implementations of Spi Calculus security protocols specifications A Pironti, R Sisto Computers & Security 29 (3), 302-314, 2010 | 32 | 2010 |
Guido MarchettoAssociate Professor, Politecnico di TorinoVerified email at polito.it
