Riccardo Sisto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formally sound implementations of security protocols with JavaSPI Formal Aspects of Computing	2018-03-29	Paper
Safe abstractions of data encodings in formal security protocol models Formal Aspects of Computing	2015-03-25	Paper
Introducing commutative and associative operators in cryptographic protocol analysis Lecture Notes in Computer Science	2010-05-26	Paper
Efficient representation of the attacker's knowledge in cryptographic protocols analysis Formal Aspects of Computing	2008-06-25	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS International Journal of Foundations of Computer Science	2006-08-21	Paper
scientific article; zbMATH DE number 2087629 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2084804 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1956588 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1670550 (Why is no real title available?)	2001-11-11	Paper
Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions IEEE Transactions on Computers	1995-01-01	Paper

Research outcomes over time

This page was built for person: Riccardo Sisto