Searching for authors named "Riccardo Sisto" – sorted by Relevance.
-
Using SPIN to Verify Security Properties of Cryptographic Protocols
- Using SPIN to Verify Security Properties of Cryptographic Protocols Paolo Maggi and Riccardo Sisto
- Cited by 7 (0 self) – Add To MetaCart
-
A Configurable Mobile Agent Data Protection Protocol
- Politecnico di Torino Corso Duca degli Abruzzi, 24 I-10129 Torino, ITALY Riccardo Sisto riccardo.sisto
- Cited by 4 (0 self) – Add To MetaCart
-
On the Specification and Semantics of Source Level Properties in Java
- @(email omitted); Riccardo Sisto Dipartimento di Automatica, Politecnico di Torino corso Duca degli Abruzzi 24, 10129 Torino
- Cited by 2 (0 self) – Add To MetaCart
-
Distributed-Memory Model Checking with SPIN
- Distributed-Memory Model Checking with SPIN Flavio Lerda and Riccardo Sisto Dipartimento di
- Cited by 39 (1 self) – Add To MetaCart
-
Using Garbage Collection in Model Checking
- Using Garbage Collection in Model Checking Radu Iosif 1 and Riccardo Sisto 1 Dipartimento di
- Cited by 4 (0 self) – Add To MetaCart
-
Formal Specification and Verification of Mobile Agent Data Integrity Properties: a Case Study
- Xavier Hannotin, Paolo Maggi, and Riccardo Sisto Dip. di Automatica e Informatica - Politecnico di
- Cited by 2 (1 self) – Add To MetaCart
-
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: a Case Study
- Xavier Hannotin, Paolo Maggi and Riccardo Sisto Dip. di Automatica e Informatica - Politecnico di Torino
- Cited by 1 (1 self) – Add To MetaCart
-
dSPIN: A Dynamic Extension of SPIN
- dSPIN: A Dynamic Extension of SPIN Claudio Demartini 1 , Radu Iosif 1 , and Riccardo Sisto 1
- Cited by 34 (2 self) – Add To MetaCart
-
Automatic testing equivalence verification of spi calculus specifications
- † , Riccardo Sisto ∗ and Adriano V alenzano † ∗ Dipartimento di Automatica e Informatica, Politecnico di Torino
- Cited by 3 (0 self) – Add To MetaCart
-
Outline
- , Luca Durante 1 , Riccardo Sisto 2 , Adriano Valenzano 1 1 IEIIT - CNR 2 Dipartimento di Automatica e
- Add To MetaCart

