Jon Millen

From MaRDI portal
Person:1007640


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!

PublicationDate of PublicationType
A long, slow conversation
 
2020-03-03Paper
Modeling group communication protocols using multiset term rewriting
 
2013-10-02Paper
On the freedom of decryption
Information Processing Letters
2009-03-23Paper
Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk)
 
2001-05-07Paper
Three systems for cryptographic protocol analysis
Journal of Cryptology
1994-08-17Paper
scientific article; zbMATH DE number 3562464 (Why is no real title available?)
 
1974-01-01Paper


Research outcomes over time


This page was built for person: Jon Millen