Election-Tech-Initiative / electionguard-c
This repository implements the ElectionGuard API using C. It includes all major functions of the ElectionGuard SDK, including key ceremony, ballot encryption, encrypted ballot tally, and partial decryptions for knowledge proofs of trustees.
☆52Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for electionguard-c
- This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and imp…☆27Updated 2 months ago
- Security and Privacy Research at Microsoft☆38Updated 2 months ago
- This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.☆58Updated last year
- Robust Internet of Things, Microsoft Research☆82Updated last year
- Sweet B is a safe, compact, embeddable library for elliptic curve cryptography.☆35Updated 2 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 4 years ago
- TLS implemented in f7☆42Updated 8 years ago
- The code to the SGX-ROP paper☆183Updated 4 years ago
- IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE b…☆57Updated 3 weeks ago
- Secure Device Conneciton Protocol sample and documentation☆47Updated last year
- Parse TPM 2.0 Command and Response streams☆23Updated last year
- A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber☆153Updated 7 years ago
- Component Firmware Update☆60Updated last year
- The TpmTool utility is a simple cross-platform tool for accessing TPM2.0 Non-Volatile (NV) Spaces (Index Values) on compliant systems, wi…☆138Updated 3 years ago
- Cryptographic library☆715Updated 2 months ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 6 years ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Updated 8 years ago
- ☆193Updated this week
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆201Updated 5 years ago
- A repository of my presentations☆166Updated last year
- TPM Genie is an I2C bus interposer for discrete Trusted Platform Modules☆212Updated 3 years ago
- the cyber crypto cryptocoin☆35Updated 6 years ago
- Sail code model of the CHERIoT ISA☆34Updated this week
- Sample CICD Pipelines for OneFuzz☆27Updated last year
- ☆179Updated 3 years ago
- Implementation of Bleichenbacher, Manger and Ben-Or attacks on RSA PKCS#1 v1.5☆42Updated 5 years ago
- ☆78Updated 3 years ago
- Implementations of a fast Message-Authentication Code☆112Updated 2 years ago
- Docs and resources on CPU Speculative Execution bugs☆372Updated 6 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆103Updated 2 years ago