CS259 Project report submission.

Taral Joglekar and Ryan Wisnesky



This submission contains:

1. oct.pdf - The final report.

2. octopus.m - final Murphi code file.
  This file went through a lot of modification cycles during different
steps in the protocol analysis, but we do not have the intermediate
files.

3. Cedar: This directory contains the java code used to model the
core formation using CEDAR protocol.

4. ReadMe.txt: this file.
