GitHub topics: protocol-security
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: TeX - Size: 1010 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 1
PSS1998/NFC-ticket-design
Implementation of a secure protocol for a ticketing system using NFC smart cards and Android devices.
Language: Java - Size: 177 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
0xJonaseb11/security.3.0
Solidity smart contracts security | Beginner to Expert
Language: Solidity - Size: 18.6 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0
0xJonaseb11/adv_security.3.0
Advanced security | Exploitation of protocol vulnerabilities | Advanced smart contract seurity
Language: Solidity - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
logicalhacking/isabelle-ofmc
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
Language: Standard ML - Size: 149 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
RQ-21-Engineer/xml_web_token Fork of 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: Python - Size: 25.4 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
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: Python - Size: 25.4 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1
JakuJ/ofmc-parallel
Multicore OFMC implementation
Language: Haskell - Size: 3.38 MB - Last synced at: about 3 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
