sftp / gost34.11-2012_stribog
GOST-34.11-2012 (Stribog) hash-function
☆11Updated 10 years ago
Alternatives and similar repositories for gost34.11-2012_stribog
Users that are interested in gost34.11-2012_stribog are comparing it to the libraries listed below
Sorting:
- ☆21Updated 2 years ago
- Grammars written for ANTLR v4; expectation that the grammars are free of actions.☆8Updated 3 years ago
- Reference implementation of the Kalyna block cipher (DSTU 7624:2014), all block and key length variants☆34Updated 4 years ago
- A cryptographic library☆82Updated this week
- ☆11Updated 9 years ago
- GOST R 34.12-2015 encryption algorithms implemented as loadable modules for Linux kernel☆13Updated last year
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- ☆44Updated 5 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆15Updated 4 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Updated 4 years ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆12Updated 5 months ago
- x100 faster implementation of GOST 34.12-2015 Kuznyechik optimized for high throughput and low latency on SSE2-capable CPUs☆20Updated 5 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Updated 3 years ago
- A library for disassembling x86-64 binaries.☆41Updated 3 weeks ago
- ☆12Updated 4 years ago
- Universal repository for linux binary packages☆20Updated 7 months ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago
- VERified asSembler for cryptographic primitives☆12Updated last year
- ☆39Updated this week
- Cryptography Standards of Belarus☆19Updated last month
- A human readable style for binary data.☆11Updated 5 years ago
- Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system☆21Updated 2 months ago
- Crypto library☆59Updated 3 weeks ago
- A library for binary analysis and rewriting☆47Updated last year
- Implementation of the proposed Russian block cipher standard, Kuznechik ("Grasshopper"). 128-bit block size, 256-bit key.☆60Updated 10 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- A polymorphic interface for elliptic curve operations☆42Updated last year
- Honey Badger of BFT Protocols in Haskell☆8Updated 6 years ago