protocol-security

There are 8 repositories under protocol-security topic.

  • 0xJonaseb11/security.3.0

    Solidity smart contracts security | Beginner to Expert

    Language:Solidity210

  • belajarqywok/xml_web_token

    XWT (XML Web Token) is a personal experiment concept by modifying the JWT (JSON Web Token) algorithm into XML for the development of SOAP (Simple Object Access Protocol) security.

    Language:Python2101

  • RQ-21-Engineer/xml_web_token

    XWT (XML Web Token) is a personal experiment concept by modifying the JWT (JSON Web Token) algorithm into XML for the development of SOAP (Simple Object Access Protocol) security.

    Language:Python2000

  • 0xJonaseb11/adv_security.3.0

    Advanced security | Exploitation of protocol vulnerabilities | Advanced smart contract seurity

    Language:Solidity110

  • logicalhacking/isabelle-ofmc

    Isabelle/OFMC - Linking OFMC and Isabelle/HOL

    Language:Standard ML130

  • PSS1998/NFC-ticket-design

    Implementation of a secure protocol for a ticketing system using NFC smart cards and Android devices.

    Language:Java0100

  • ac999/protocol_sec_msi

    Protocol modelling and verification using AVISPA and Scyther. Done during 1st year of Master's in Information Security @ Faculty of Computer Science within University of Alexandru Ioan Cuza Iasi

    Language:TeX101

  • JakuJ/ofmc-parallel

    Multicore OFMC implementation

    Language:Haskell10