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.

Language: Jupyter Notebook - Size: 66.4 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

logicalhacking/Stateful_Protocol_Composition_and_Typing

Language: Isabelle - Size: 306 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

logicalhacking/Automated_Stateful_Protocol_Verification

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

Language: Isabelle - Size: 227 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

dchandak99/INRIA_Internship

Formal Verification of Security Protocols

Language: TeX - Size: 1.21 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

DevelopedByAnurag/Jarvis

Jarvis is an attempt to create a Open source virtual assistant that can talk and resolve queries in a more humanly manner

Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 2