mit-ll / SPARTA
Security and Privacy Assurance Research Test and Assessment (SPARTA) tool suite
☆37Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for SPARTA
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Updated 8 years ago
- An implementation of the OPAQUE password-authenticated key exchange protocol☆10Updated 3 weeks ago
- Using SGX to harden password hashing☆33Updated 8 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- A decentralized privacy-preserving data sharing tool☆31Updated 3 years ago
- Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …☆44Updated last year
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆28Updated 8 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Updated last year
- free crypto audit☆31Updated 7 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Updated 8 years ago
- The CloudProxy Tao for Trustworthy Computing☆37Updated 7 years ago
- Privacy-preserving Tor statistics aggregation tool that implements the secret-sharing variant of the PrivEx algorithm.☆26Updated 4 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- Symmetric somewhat homomorphic encryption library based on DGHV☆27Updated 7 years ago
- Experiments in high-assurance crypto.☆47Updated last year
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆106Updated 2 years ago
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Updated 3 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆26Updated 4 years ago
- This is a Tamarin model of TLS 1.3☆31Updated last year
- Links to stuff arising from or related to the HACS workshop.☆35Updated 6 years ago
- NIST CSRC Cryptography Toolkit test vectors (unofficial and dumped to text)☆23Updated 6 years ago
- Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.☆28Updated 3 months ago
- A machine learning data analysis pipeline for analyzing website fingerprinting attacks and defenses.☆29Updated 7 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 7 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 6 years ago