Edit Profile (opens in new tab) Sisto, Riccardo Compute Distance To: Compute Author ID: sisto.riccardo Published as: Sisto, Riccardo Documents Indexed: 11 Publications since 1995 Co-Authors: 11 Co-Authors with 11 Joint Publications 63 Co-Co-Authors all top 5 Co-Authors 0 single-authored 6 Valenzano, Adriano 5 Durante, Luca 2 Bertolotti, Ivan Cibrario 2 Cibrario B., Ivan 2 Maggi, Paolo 2 Pironti, Alfredo 1 Avalle, Matteo 1 Bettassa Copet, Piergiuseppe 1 Cibario Bertolotti, Ivan 1 Hannotin, Xavier 1 Iosif, Radu Serials 3 Formal Aspects of Computing 1 IEEE Transactions on Computers 1 International Journal of Foundations of Computer Science Fields 11 Computer science (68-XX) 5 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 7 times in 6 Documents Cited by ▼ Year ▼ Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions. Zbl 1048.68515Sisto, Riccardo; Valenzano, Adriano 2 1995 Using garbage collection in model checking. Zbl 0976.68574Iosif, Radu; Sisto, Riccardo 1 2000 Introducing commutative and associative operators in cryptographic protocol analysis. Zbl 1279.94066Cibario Bertolotti, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano 1 2003 Using SPIN to verify security properties of cryptographic protocols. Zbl 1077.68696Maggi, Paolo; Sisto, Riccardo 1 2002 A new knowledge representation strategy for cryptographic protocol analysis. Zbl 1031.94514Cibrario B., Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano 1 2003 Safe abstractions of data encodings in formal security protocol models. Zbl 1322.68070Pironti, Alfredo; Sisto, Riccardo 1 2014 Safe abstractions of data encodings in formal security protocol models. Zbl 1322.68070Pironti, Alfredo; Sisto, Riccardo 1 2014 Introducing commutative and associative operators in cryptographic protocol analysis. Zbl 1279.94066Cibario Bertolotti, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano 1 2003 A new knowledge representation strategy for cryptographic protocol analysis. Zbl 1031.94514Cibrario B., Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano 1 2003 Using SPIN to verify security properties of cryptographic protocols. Zbl 1077.68696Maggi, Paolo; Sisto, Riccardo 1 2002 Using garbage collection in model checking. Zbl 0976.68574Iosif, Radu; Sisto, Riccardo 1 2000 Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions. Zbl 1048.68515Sisto, Riccardo; Valenzano, Adriano 2 1995 all cited Publications top 5 cited Publications all top 5 Cited by 18 Authors 2 Sisto, Riccardo 1 Avalle, Matteo 1 Bertolotti, Ivan Cibrario 1 Bettassa Copet, Piergiuseppe 1 Boyer, Marc 1 Courtiat, Jean-Pierre 1 De Saqui-Sannes, Pierre 1 Durante, Luca 1 Dwyer, Matthew B. 1 Hatcliff, John 1 Iosif, Radu 1 Jiang, Changjun 1 Liao, Shaoyi 1 Pironti, Alfredo 1 Sadani, Tarek 1 Tan, Li 1 Valenzano, Adriano 1 Wang, Huaiqing Cited in 3 Serials 2 Formal Aspects of Computing 1 Journal of Computer Science and Technology 1 Formal Methods in System Design Cited in 1 Field 6 Computer science (68-XX) Citations by Year