[austincheney]

I am working on securely opening personal storage across the internet with a point-to-point app that also lets you selectively open parts of your file system to other users.

I just proved out the application’s security model yesterday in my test automation. Once I finish the messaging subapp I will bump it to version 0.1 for public beta, but you can play with it now on your home network.

https://github.com/prettydiff/share-file-systems

[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...