For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
FaCT: Constant Time Programming Language (github.com/plsyssec)
135 points by ducktective on Oct 23, 2022 | past | 55 comments
PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rust (github.com/plsyssec)
1 point by sansnomme on May 24, 2020 | past
haybale: Symbolic Execution Engine for LLVM IR, written in Rust (github.com/plsyssec)
3 points by matt_d on Nov 25, 2019 | past
Constant-Time WebAssembly (github.com/plsyssec)
3 points by michaelsbradley on Aug 16, 2019 | past
FaCT aka ConstanC: a constant-time programming language (github.com/plsyssec)
2 points by fanf2 on Dec 28, 2017 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You