Connect Four: a secure implementation using OpenSSL library

The aim of this project was to build a secure online version of the famous table game Connect Four. We implemented the application using C language and the OpenSSL libraries. We also formally proved the protocols used during the communication between client and server with the BAN Logic formalism.

Documentation Source code