https://github.com/chenningg/cs3211-tls-csp

CSP implementation of the TLS protocol to stimulate a server, a client and a possible attacker.
https://github.com/chenningg/cs3211-tls-csp

Last synced: about 1 month ago
JSON representation

CSP implementation of the TLS protocol to stimulate a server, a client and a possible attacker.

• Host: GitHub
• URL: https://github.com/chenningg/cs3211-tls-csp
• Owner: chenningg
• Created: 2021-03-06T12:42:22.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-04-25T07:26:02.000Z (almost 4 years ago)
• Last Synced: 2024-11-07T11:40:44.663Z (3 months ago)
• Language: C#
• Size: 1.62 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# cs3211-tls-csp

CSP implementation of the TLS protocol to simulate a server, a client and a possible attacker.

This is the submission of group 2 consisting of A0230521Y, A0230647H and A0229378N.

In this folder is our Final Report and source code.

### PAT C# file setup

In order to use the random number generator util, we need to first compile the C# code into `.dll` executable to load into PAT. Refer to this [link](https://pat.comp.nus.edu.sg/wp-source/resources/OnlineHelp/htm/index.htm) to see how to build the `.dll` executable.

### Submission files

1. A0230521Y-A0230647H-A0229378N Final Report

Our final report

2. SCrypt/RandomNumber.cs

Custom external libraries to encrypt/decrypt and generate random keys respectively.

The .dll files have also been included for your inconvenience.

3. tls-final.csp

Source code for base Client-Server model, with verifications for 5 attacking scenarios

4. tls-final-attacker-loop

Source code to test for perfect forward secrecy of attacker through repeated cycles of TLS connections