Skip to content

@soap-wg soap-wg

Change the repository type filter

All

    Repositories list

    5 repositories

    • soap-wg.github.io

      Public
      0•0•0•0•Updated Sep 3, 2024Sep 3, 2024

    • .github

      Public
      0•0•0•0•Updated Jan 17, 2024Jan 17, 2024

    • soap-web

      Public
      Web-based prototype for SOAP, a SOcial Authentication Protocol.
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Jan 17, 2024Jan 17, 2024

    • soap-proofs

      Public
      This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.
      formal-verificationtamarin-proverprotocol-verification
      Python
      •
      MIT License
      •0•1•0•0•Updated Jan 17, 2024Jan 17, 2024

    • Signal-Android

      Public
      Signal-based prototype for SOAP, a SOcial Authentication Protocol.
      Java
      •
      GNU General Public License v3.0
      •6.2k•0•0•0•Updated May 3, 2023May 3, 2023