Analysis of the SILC Protocol using Murphi

Summary

This project examines SILC (Secure Internet Live Conferencing), a protocol designed to provide secure chat and messaging services by encrypting and authenticating all packets.

Project report: html, pdf

Presentation Slides: ppt, pdf

Source Files: download

Last updated: November 19, 2004.