Jon Millen

From MaRDI portal



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 conversation2020-03-03Paper
Modeling group communication protocols using multiset term rewriting2013-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