Colophon

For the Multi-Agent Systems course a project is done on the analysis of the TLS 1.2 protocol.

This project is done by:

• Zetao Chen
• Harm Hermsen
• Gijs Slijpen

Teachers are:

• Prof. Dr. Rineke Verbrugge
• Dr. Barteld Kooi