https://github.com/lucianoscarpaci/ethereum-cryptography

This project uses secp256k1, keccak256 hashing, and BIP39 for generating vanity addresses, implementing secure cryptographic operations and creating mnemonic phrases.

algorithm-implementation bip39 blockchain-technology cryptocurrency-wallets data-integrity digital-signatures hash-functions keccak public-key-cryptography secp256k1 secure-communication security-protocols vanity-address

Last synced: 27 Aug 2025

https://github.com/lucianoscarpaci/curve25519-signatures

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.

algorithm-efficiency cryptographic-algorithms cryptographic-primitives cryptographic-security digital-signatures edwards-curve-digital-signature-algorithm elliptic-curve-cryptography key-generation mathematical-cryptography public-key-cryptography sagemath scalability secure-communication security-protocols signing

Last synced: 10 Oct 2025

https://github.com/logicalhacking/automated_stateful_protocol_verification

Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

isabelle-hol protocol-verification security-protocols verification

Last synced: 06 Mar 2026

https://github.com/logicalhacking/stateful_protocol_composition_and_typing

isabelle-hol protocol-verification security-protocols verification

Last synced: 05 Feb 2026

https://github.com/chmodshubham/security-prototype

A minimal, practical collection of network security protocol implementations.

golang ipsec mtls prototype quic security-protocols tls

Last synced: 09 Oct 2025