Riccardo Sisto
Riccardo Sisto
Professor of Computer Science, Politecnico di Torino
Verified email at polito.it - Homepage
Title
Cited by
Cited by
Year
Distributed-memory model checking with SPIN
F Lerda, R Sisto
International SPIN Workshop on Model Checking of Software, 22-39, 1999
2411999
A deadlock detection tool for concurrent Java programs
C DeMartini, R Iosif, R Sisto
Software: Practice and Experience 29 (7), 577-603, 1999
1821999
dSPIN: A dynamic extension of SPIN
C Demartini, R Iosif, R Sisto
International SPIN Workshop on Model Checking of Software, 261-276, 1999
1491999
Parallel CRC generation
G Albertengo, R Sisto
IEEE Micro 10 (5), 63-71, 1990
1461990
Using SPIN to verify security properties of cryptographic protocols
P Maggi, R Sisto
International SPIN Workshop on Model Checking of Software, 187-204, 2002
1302002
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
1222010
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
822003
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
781994
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
772004
Formal verification of security protocol implementations: a survey
M Avalle, A Pironti, R Sisto
Formal Aspects of Computing 26 (1), 99-123, 2014
692014
PIT overload analysis in content centric networks
M Virgilio, G Marchetto, R Sisto
Proceedings of the 3rd ACM SIGCOMM workshop on Information-centric …, 2013
632013
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
572011
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
472009
A configurable mobile agent data protection protocol
P Maggi, R Sisto
Proceedings of the second international joint conference on Autonomous …, 2003
422003
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
362011
A protocol for multirendezvous of LOTOS processes
R Sisto, L Ciminiera, A Valenzano
IEEE transactions on computers 40 (04), 437-447, 1991
351991
Formal verification of virtual network function graphs in an sp-devops context
S Spinoso, M Virgilio, W John, A Manzalini, G Marchetto, R Sisto
European Conference on Service-Oriented and Cloud Computing, 253-262, 2015
342015
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
302006
Provably correct Java implementations of Spi Calculus security protocols specifications
A Pironti, R Sisto
Computers & Security 29 (3), 302-314, 2010
282010
Using garbage collection in model checking
R Iosif, R Sisto
International SPIN Workshop on Model Checking of Software, 20-33, 2000
272000
The system can't perform the operation now. Try again later.
Articles 1–20