[red0point]

How did you prove your protocol is secure? I couldn't find any Tamarin, TLA+, ProVerif, ... in the Github.

[austincheney]

Here is my write up of the security model: https://github.com/prettydiff/share-file-systems/blob/master...

I need to update some of the language in that. Since the test automation now demonstrates both positive and negative tests against that model.

EDIT: Please note the application is currently using HTTP and not HTTPS. I am aware that is a large security gap. Please see the Missing Features section at the bottom of the readme.md: https://github.com/prettydiff/share-file-systems/blob/master...