Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds
 
conference paper

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Nikitin, Kirill  
•
Kokoris Kogias, Eleftherios  
•
Jovanovic, Philipp Svetolik  
Show more
2017
Proceedings of the 26th Usenix Security Symposium
26th Usenix Security Symposium

Software-update mechanisms are critical to the security of modern systems, but their typically centralized design presents a lucrative and frequently attacked target. In this work, we propose CHAINIAC, a decentralized software-update framework that eliminates single points of failure, enforces transparency, and provides efficient verifiability of integrity and authenticity for software-release processes. Independent witness servers collectively verify conformance of software updates to release policies, build verifiers validate the source-to-binary correspondence, and a tamper-proof release log stores collectively signed updates, thus ensuring that no release is accepted by clients before being widely disclosed and validated. The release log embodies a skipchain, a novel data structure, enabling arbitrarily out-of-date clients to efficiently validate updates and signing keys. Evaluation of our CHAINIAC prototype on reproducible Debian packages shows that the automated update process takes the average of 5 minutes per release for individual packages, and only 20 seconds for the aggregate timeline. We further evaluate the framework using real-world data from the PyPI package repository and show that it offers clients security comparable to verifying every single update themselves while consuming only one-fifth of the bandwidth and having a minimal computational overhead.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

usenixsec17-final.pdf

Type

Preprint

Version

Submitted version (Preprint)

Access type

openaccess

Size

938.93 KB

Format

Adobe PDF

Checksum (MD5)

1fdb760c4d4ba59db54ac7f572c41a48

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés