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 5 years ago
Alternatives and similar repositories for paper_chainiac
Users that are interested in paper_chainiac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Sep 29, 2021Updated 5 years ago
- A research project on isomorphisms of finite fields☆16Jun 15, 2018Updated 8 years ago
- ☆11Oct 22, 2013Updated 13 years ago
- portable configuration files for windows environment☆10Jun 8, 2026Updated 4 months ago
- Training and support materials for MSTICPy☆18Jun 27, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- provable bitcoin HODLing☆22Mar 23, 2017Updated 9 years ago
- We implement Delegatable Anonymous Credentials using Mercurial Signatures☆21Jun 7, 2022Updated 4 years ago
- OrbitDB Store to post and comment on a discussion board☆17Dec 30, 2022Updated 3 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/jejb/sbsigntools.git/ with patches for yubikey support☆10Aug 14, 2020Updated 6 years ago
- Atom ansible syntax support☆11Jun 4, 2022Updated 4 years ago
- Jetty Integration Plug-in for IntelliJ IDEA☆12Jan 12, 2020Updated 6 years ago
- A (discontinued) attempt at creating a Python transducer library, done as a weekend project☆12Jan 4, 2015Updated 11 years ago
- Arch Linux Conference Website (read-only mirror)☆11Jan 2, 2021Updated 5 years ago
- Role for automated secured jenkins installation☆11Dec 8, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A golang package for parsing SRCINFO files☆12Apr 1, 2019Updated 7 years ago
- A simple, correct PEP427 wheel installer☆12Mar 30, 2021Updated 5 years ago
- A pleasant introduction to TPMs (Trusted Platform Modules)☆12Sep 21, 2026Updated last month
- Linux uhid api in Go.☆13Sep 27, 2023Updated 3 years ago
- SublimeREPL - run an interpreter inside ST2 (Clojure, CoffeeScript, F#, Groovy, Haskell, Lua, MozRepl, NodeJS, Python, R, Ruby, Scala, sh…☆12Jul 15, 2013Updated 13 years ago
- Compare the anime lists of hummingbird.me users☆10Jun 29, 2015Updated 11 years ago
- A Keystone secret plugin for Vault (https://www.vaultproject.io/)☆16Aug 13, 2020Updated 6 years ago
- Kodi's Hy utility functions and macros☆13Jan 11, 2026Updated 9 months ago
- Mac GPU Firmware Database and Editor☆12Mar 12, 2013Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- | + .. | μJoypad☆14Nov 4, 2012Updated 14 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Oct 11, 2018Updated 8 years ago
- This repo is deprecated in favor of https://github.com/namecoin/namecoin-core☆11Nov 18, 2014Updated 11 years ago
- (OBSOLETE) A mapviewer for gta 3, vc, sa☆12Aug 22, 2014Updated 12 years ago
- Experimental script to query rebuilderd for results☆14Dec 4, 2023Updated 2 years ago
- Sublime Text 2/3 plugin to resize current group by golden ratio☆11Mar 22, 2015Updated 11 years ago
- A minimal, security-focused initramfs generator for Linux systems with full disk encryption. Written in Go, Vanguard creates lightweight …☆16Sep 16, 2026Updated last month
- Google chrome extension. Detects Bitcoin microformat data in web pages. Pull requests very welcome.☆12Mar 6, 2013Updated 13 years ago
- Sushi is package builder based on template.☆19Dec 2, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A fork of the polipo HTTP proxy that uses namecoind for lookups☆11Dec 2, 2011Updated 14 years ago
- AEAD encryption using Trusted Platform Module (TPM)☆12Aug 31, 2026Updated 2 months ago
- simple pure-python tool to parse mmdb files and convert them to the old format Tor uses☆10Nov 25, 2017Updated 8 years ago
- LED voltmeter hacked as I2C 4 digit 7 segment display☆12Sep 17, 2013Updated 13 years ago
- Official DownThemAll! git mirror. Pull requests welcome. Commits will still go into svn. See wiki☆14Jul 11, 2012Updated 14 years ago
- ☆12Feb 17, 2018Updated 8 years ago
- spell-checker for Irssi☆12Jun 29, 2026Updated 4 months ago