Formal Verification of Security Protocols
-
Updated
Jul 16, 2020 - TeX
#
security-protocols
Here are 6 public repositories matching this topic...
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
-
Updated
Apr 2, 2022 - Isabelle
A SageMath implementation of Edwards-Curve Digital Signature Algorithm (EdDSA), featuring secure key generation, signing, and verification. Focused on Cryptographic Primitives and highly efficient, scalable algorithms.
signing scalability secure-communication public-key-cryptography cryptographic-algorithms sagemath key-generation digital-signatures elliptic-curve-cryptography security-protocols mathematical-cryptography algorithm-efficiency edwards-curve-digital-signature-algorithm cryptographic-security cryptographic-primitives
-
Updated
Oct 16, 2024 - Jupyter Notebook
-
Updated
Mar 26, 2022 - Isabelle
Jarvis is an attempt to create a Open source virtual assistant that can talk and resolve queries in a more humanly manner
deep-learning chatbot python3 artificial-intelligence vision chatbots jarvis smart-assistant hactoberfest hactoberfest2019 gesture-commands security-protocols
-
Updated
Oct 8, 2020
This project uses secp256k1, keccak256 hashing, and BIP39 for generating vanity addresses, implementing secure cryptographic operations and creating mnemonic phrases.
hash-functions keccak bip39 secp256k1 secure-communication public-key-cryptography blockchain-technology vanity-address data-integrity digital-signatures cryptocurrency-wallets algorithm-implementation security-protocols
-
Updated
Oct 5, 2024 - JavaScript
Improve this page
Add a description, image, and links to the security-protocols topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the security-protocols topic, visit your repo's landing page and select "manage topics."