Riccardo Sisto

From MaRDI portal
Person:931440

Available identifiers

zbMath Open sisto.riccardoMaRDI QIDQ931440

List of research outcomes





PublicationDate of PublicationType
Formally sound implementations of security protocols with JavaSPI2018-03-29Paper
Safe abstractions of data encodings in formal security protocol models2015-03-25Paper
Introducing commutative and associative operators in cryptographic protocol analysis2010-05-26Paper
Efficient representation of the attacker's knowledge in cryptographic protocols analysis2008-06-25Paper
Automated Technology for Verification and Analysis2006-10-25Paper
EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS2006-08-21Paper
https://portal.mardi4nfdi.de/entity/Q47384772004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47359862004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44179332003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27537482001-11-11Paper
Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions1995-01-01Paper

Research outcomes over time

This page was built for person: Riccardo Sisto

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:931440&oldid=7200858"
Powered by MediaWiki