CoolFace
Datasetpublic

Akirayasha/relbench_O2

RelBench-O2: Constant-Time Assembly at -O2 Overview This dataset collects the rel_bench constant-time programs, re-cut into one self-contained program per record, compiled with LLVM/Clang-17 at -O2 for three targets, and checked for constant-timeness with binsec -sse -checkct. Constant-time source code is not enough: the optimizer can reintroduce a secret-dependent branch or memory access that the -O0 build does not have, and it does so differently per target. The… See the full description on the dataset page: https://huggingface.co/datasets/Akirayasha/relbench_O2.

sourceHugging Facemitupdated 1mo agoView on Hugging Face
0likes34downloads
settings

This repository belongs to Akirayasha on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

namerelbench_O2
visibilitypublic
licencemit
gatedno
ownerAkirayasha
Account settings
Akirayasha/relbench_O2 · CoolFace