Implementation and simulations for "CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds" paper appearing at Usenix Security'17.
☆23Jun 17, 2021Updated 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:
- DEPRECATED, use https://github.com/zombiezen/go-capnproto2☆19Sep 20, 2015Updated 10 years ago
- GoTel - Scheduled job monitoring☆37Dec 9, 2022Updated 3 years ago
- Text Mining Library with a focus on Latent Semantic Analysis☆12Aug 4, 2013Updated 12 years ago
- Mirrors the FHIR SVN repo (via git-svn)☆11Jan 21, 2021Updated 5 years ago
- Parallel processing with sequential output, respecting order of input☆10Feb 20, 2023Updated 3 years ago
- Pulsar Heavy Industries main source code repository☆11Dec 20, 2018Updated 7 years ago
- A protovis visualization of the linked open data cloud.☆26Jul 25, 2011Updated 14 years ago
- CompCertX features to be merged into CompCert☆10Jan 2, 2018Updated 8 years ago
- concourse pipline to automatically install PCF on GCP☆10Dec 5, 2019Updated 6 years ago
- docker-machine-driver-qingcloud☆10Apr 27, 2017Updated 8 years ago
- The core protocol contracts of the Cryptonotes☆10Nov 19, 2022Updated 3 years ago
- LotusJS is a framework for developing HTML5 applications using web components and TypeScript. It uses a functional style and leverages ra…☆11Feb 17, 2026Updated 2 weeks ago
- ☆12Jun 19, 2023Updated 2 years ago
- Useful abstraction golang library for building AI-powered reasoning apps☆11May 31, 2023Updated 2 years ago
- [Moved] Docker definition for an Exhibitor-managed ZooKeeper instance☆19Mar 26, 2015Updated 10 years ago
- A go implementation of the Schnorr Signature Scheme☆10Jan 19, 2017Updated 9 years ago
- 2d game library for go☆11Apr 7, 2021Updated 4 years ago
- Easily create Multipart or Json form requests in Go☆15Feb 28, 2015Updated 11 years ago
- OpenStack deployment with Ansible, lite version☆11Apr 14, 2016Updated 9 years ago
- LXC playbook☆18Dec 10, 2018Updated 7 years ago
- OLD REPOSITORY, new one at repo.rumpkernel.org/rumprun☆44Apr 13, 2015Updated 10 years ago
- Python script to archive Tweets☆12Oct 2, 2012Updated 13 years ago
- ☆13Jun 30, 2017Updated 8 years ago
- Examples of lambda calculus implementations using Typescript☆10Dec 30, 2022Updated 3 years ago
- WSGI middleware collection to support special requirements☆14Nov 6, 2017Updated 8 years ago
- Terraform Provider for Kind☆10Aug 3, 2023Updated 2 years ago
- This app leverages the Adaptive Response framework to perform API calls to Security Trails☆15Feb 14, 2019Updated 7 years ago
- LNPoker - A bitcoin Lightning Network Poker game☆13May 11, 2018Updated 7 years ago
- Annual info about co2 emissions per nation☆14Dec 6, 2024Updated last year
- ☆10Jan 22, 2018Updated 8 years ago
- The missing contributions reporter for GitHub☆10Jan 26, 2022Updated 4 years ago
- AI-powered DeFi protocol built on Move featuring non-custodial liquid staking + market prediction + more to come☆13Apr 11, 2025Updated 10 months ago
- 📋The Dev Proposal repository☆11Feb 3, 2026Updated last month
- A novel way of handling malicious requests within a Django application.☆15Aug 22, 2012Updated 13 years ago
- Manifests to help jump start your use of the VM Service in vSphere with Tanzu☆17Feb 10, 2026Updated 3 weeks ago
- Bitshares gateway for Ethereum-USDT☆13Jan 24, 2023Updated 3 years ago
- Puppet module for managing Hashicorp's Vault☆11Jan 4, 2020Updated 6 years ago
- Source code for 'Practical Graph Analytics with Apache Giraph' by Roman Shaposhnik, Claudio Martella, and Dionysios Logothetis☆12Mar 28, 2017Updated 8 years ago
- 🍊 Prototype Orange widgets — only for the brave.☆12Aug 25, 2025Updated 6 months ago