cornelltech / CS5830-Spring2017Links
CS 5830: Cryptography
☆15Updated 8 years ago
Alternatives and similar repositories for CS5830-Spring2017
Users that are interested in CS5830-Spring2017 are comparing it to the libraries listed below
Sorting:
- 6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)☆46Updated 7 years ago
- ☆145Updated 8 months ago
- JHU Advanced Topics in Applied Cryptography (601.745)☆53Updated 7 years ago
- Public repository for Blockchains and Cryptocurrencies (601.641/601.441) JHU (Fall 2020)☆59Updated 5 years ago
- ☆71Updated 6 years ago
- ☆14Updated 8 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆56Updated 6 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 6 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Updated 4 years ago
- Rust implementation of the Prism consensus protocol☆102Updated 2 years ago
- Blockchains and Distributed Ledgers☆112Updated last year
- Designing Secure Cryptography☆22Updated 6 years ago
- Awesome Byzantine Fault Tolerance (BFT)☆70Updated 3 years ago
- ☆28Updated 6 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆91Updated 5 months ago
- Privacy-preserving auditing for distributed ledgers☆67Updated 6 years ago
- pbft - Practical Byzantine Fault Tolerance☆12Updated 10 years ago
- An experimental library for PDP and POR☆31Updated 4 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Updated last week
- Prototype implementation of Prio, a system for the private computation of aggregate statistics.☆64Updated 7 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- OHIE - Blockchain scaling☆34Updated 5 years ago
- The compiler for ObliVM☆65Updated 5 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 9 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Updated 3 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- ☆36Updated 7 years ago
- My reading list of academic papers and research notes☆245Updated 3 years ago
- FSCQ is a certified file system written and proven in Coq☆250Updated 3 years ago