[OTR-dev] Protocol Analysis

[Andrew S. Morrison]

Myself and a partner are considering doing a formal security analysis of
OTR over the next 3 months as part of a security protocols course at
Stanford University.

We will be modeling the system and using a formal analysis system such as
Murphi or PRISM to analyze the OTR protocol. Does anyone on the list know
if such a thing has been done previously? If so, are there any papers from
the analysis that I could read? Also, would anyone be willing to talk with
me for a few minutes about OTR and some of the design decisions?

-- 
Andrew S. Morrison
asm at cs.stanford.edu
(650) 575 9261
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <http://lists.cypherpunks.ca/pipermail/otr-dev/attachments/20060119/ccbeb69f/attachment.pgp>