dedis / paper_chainiacLinks
Implementation and simulations for "CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds" paper appearing at Usenix Security'17.
☆23Updated 4 years ago
Alternatives and similar repositories for paper_chainiac
Users that are interested in paper_chainiac are comparing it to the libraries listed below
Sorting:
- An experimental cooperative keyserver based on ideas from dename.☆107Updated 8 years ago
- A simple way to create a Tor onion service for existing Docker containers.☆81Updated 8 years ago
- A CONIKS implementation in Java☆60Updated 7 years ago
- [ARCHIVED] A golang server that provides network services to boot virtual and metal machines from pxe boot☆28Updated 5 years ago
- Jump to Full Encryption☆61Updated 9 years ago
- WARNING: Deprecated! See Privacy Pass☆99Updated 8 years ago
- 👷 Importable Go packages and an accompanying command-line interface for searching, efficiently cloning and executing an arbitrary comman…☆21Updated 5 years ago
- Go HTTP Strict Transport Security library☆22Updated last year
- IP-format-preserving encryption, with a dedicated 4-byte cipher☆107Updated 4 years ago
- Slackbot for Keybase☆63Updated 3 months ago
- YubiKey API written in Go☆64Updated 2 years ago
- Go implementation of the HTTP-to-IPFS gateway -- currently lives in go-ipfs☆17Updated 3 years ago
- DEPRECATED - Propagate users from Mozilla's Person API to third party systems.☆40Updated 3 years ago
- A Python library to emit Sensu events that the Yelp Sensu Handlers can understand for Self-Service Sensu Monitoring☆14Updated 2 months ago
- These are the MirageOS slide decks, written as a self-hosting unikernel☆13Updated 8 years ago
- Human readable entropy.☆64Updated 6 years ago
- Run Unikernels Locally and Natively on OSX and Linux☆66Updated 6 years ago
- A presentation about Docker, systemd, and containerization, given at the Recurse Center☆78Updated 10 years ago
- Many-armed network simulator☆128Updated 11 years ago
- Slimmed down version of Vanadium that is focused on its RPC and security system.☆91Updated last year
- Archive of existing evoting systems created by others.☆19Updated 7 years ago
- Go seccomp parser and compiler☆53Updated 8 years ago
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Updated 4 years ago
- ☆61Updated 8 years ago
- Fuzzing Go crypto☆74Updated 6 years ago
- 10 Minute DigitalOcean CoreOS/Kubernetes Demo☆21Updated 9 years ago
- Toolkit for multi-factor, multi-role encryption☆68Updated 9 years ago
- Totally Isolated TLS Unwrapping Server☆111Updated 5 years ago
- Golang "Post-quantum key exchange – a new hope." (Mirror of https://gitlab.com/yawning/newhope)☆79Updated 6 years ago
- Decentralised gossip driven data sharing for the 21st century.☆60Updated 2 years ago