Search: github.com/PLSysSec | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

FaCT: Constant Time Programming Language (github.com/PLSysSec)

135 points

4 years ago

2.

haybale: Symbolic Execution Engine for LLVM IR, written in Rust (github.com/PLSysSec)

3 points

7 years ago

3.

Constant-Time WebAssembly (github.com/PLSysSec)

3 points

michaelsbradley

7 years ago

4.

FaCT aka ConstanC: a constant-time programming language (github.com/PLSysSec)

2 points

8 years ago

5.

PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rust (github.com/PLSysSec)

1 point

6 years ago