Luca Durante

From MaRDI portal
Person:931439

Available identifiers

zbMath Open durante.lucaMaRDI QIDQ931439

List of research outcomes





PublicationDate of PublicationType
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/Q44179332003-07-30Paper

Research outcomes over time

This page was built for person: Luca Durante

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