├── README.md ├── cryptoverif ├── handshake.cv ├── invites.cv ├── proof_handshake.tex └── proof_invites.tex ├── main.pdf ├── presentation.pdf ├── proverif ├── handshake_smallsubgroup.pv ├── invites.pv ├── private_messaging.pv ├── small_subgroup_attack.pdf └── ssb_handshake.pv └── verifpal └── ssb.vp /README.md: -------------------------------------------------------------------------------- 1 | # A Cryptographic Investigation of Secure Scuttlebutt. 2 | -------------------------------------------------------------------------------- /cryptoverif/handshake.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/cryptoverif/handshake.cv -------------------------------------------------------------------------------- /cryptoverif/invites.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/cryptoverif/invites.cv -------------------------------------------------------------------------------- /cryptoverif/proof_handshake.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/cryptoverif/proof_handshake.tex -------------------------------------------------------------------------------- /cryptoverif/proof_invites.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/cryptoverif/proof_invites.tex -------------------------------------------------------------------------------- /main.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/main.pdf -------------------------------------------------------------------------------- /presentation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/presentation.pdf -------------------------------------------------------------------------------- /proverif/handshake_smallsubgroup.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/proverif/handshake_smallsubgroup.pv -------------------------------------------------------------------------------- /proverif/invites.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/proverif/invites.pv -------------------------------------------------------------------------------- /proverif/private_messaging.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/proverif/private_messaging.pv -------------------------------------------------------------------------------- /proverif/small_subgroup_attack.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/proverif/small_subgroup_attack.pdf -------------------------------------------------------------------------------- /proverif/ssb_handshake.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/proverif/ssb_handshake.pv -------------------------------------------------------------------------------- /verifpal/ssb.vp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/olapiha/scuttlebutt/HEAD/verifpal/ssb.vp --------------------------------------------------------------------------------