Scylla: Translating an Applicative Subset of C to Safe Rust (Artefact)
Abstract
This artifact is the companion to the OOPSLA 26 paper "Scylla: Translating an Applicative Subset of C to Safe Rust". It contains Scylla tool presented in the paper, as well as the experimental evaluation on several case studies, namely:* the HACL\* cryptographic library* a binary parser from EverParse* the SHA3 implementation from Microsoft's SymCrypt library* a recent implementation of frodoKEM* the bzip2 compression library
Fields of Study & Subjects
Logic
programming
and type systems
Security and Verification in Computing
Software Engineering Research
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 5 February 2026