Hacker GitHub

← All repos

PLSysSec/FaCT

View on GitHub ↗ ★ 210 OCaml

Flexible and Constant Time Programming Language

10 mentions on Hacker News by 10 people: 2 stories, 8 comments · first 2017-12-28 · latest 2026-08-24

Mentions per year 10 mentions · busiest year 2017 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …And then prove things about programs written against those architectures. See for example https://github.com/PLSysSec/FaCT That being said, practically the operations that are variable time are known, and are mostly* the same on all modern…
    comment by mswphd · 2026-08-24 · in SeL4 security proofs now complete on AArch64
  2. There's been plenty, like RobustIsoCrypt or FaCT: https://github.com/PLSysSec/FaCT They struggle to guarantee constant time for subroutines within a non-constant time application, which is how most people want to use cryptography.
    comment by AlotOfReading · 2025-11-01 · in Hard Rust requirements from May onward
  3. …this is somewhat mitigated by the fact that they've got a top-level directory called "example." https://github.com/PLSysSec/FaCT/blob/master/example/example...
    comment by bee_rider · 2022-10-23 · in FaCT: Constant Time Programming Language
  4. ▲ 135
    FaCT: Constant Time Programming Language
    story by ducktective · 2022-10-23 · 55 comments
  5. A follow-up to the FaCT paper can be found here: https://github.com/PLSysSec/FaCT/blob/master/FaCT_extended.p... . The source for the compiler is in the same repo. (Full disclosure: I’m a co-author.) There were a few interesting issues we…
    comment by bjoh · 2019-07-10 · in Guidelines for low-level cryptography software
  6. Something like FaCT? https://github.com/PLSysSec/FaCT
    comment by zokier · 2019-07-09 · in Constant-Time Mul
  7. …say anything about what the project is but they have another document in the repo root that does. https://github.com/PLSysSec/FaCT/blob/rewrite/proposal.md
    comment by bringtheaction · 2018-02-26 · in CTTK: Constant-Time Toolkit
  8. If that interests you you should take a look at https://github.com/PLSysSec/FaCT
    comment by fenollp · 2018-02-25 · in CTTK: Constant-Time Toolkit
  9. ▲ 2
    FaCT aka ConstanC: a constant-time programming language
    story by fanf2 · 2017-12-28 · 0 comments
  10. …language is actually called ConstantC, and its implementation has just been made public on GitHub: https://github.com/PLSysSec/FaCT
    comment by jedisct1 · 2017-12-28 · in FaCT: A Flexible, Constant-Time Programming Language [pdf]