UCSD PLSysSec

icon location UCSD

Results 7 repositories owned by UCSD PLSysSec

sys

215
Stars
42
Forks
Watchers

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

verified publisher icon PLSysSec

ct-wasm

24
Stars
1
Forks
Watchers

Constant-Time WebAssembly

verified publisher icon PLSysSec

FaCT

192
Stars
13
Forks
Watchers

Flexible and Constant Time Programming Language

verified publisher icon PLSysSec

haybale

509
Stars
24
Forks
Watchers

Symbolic execution of LLVM IR with an engine written in Rust

verified publisher icon PLSysSec

haybale-pitchfork

40
Stars
0
Forks
Watchers

Verifying constant-time code with symbolic execution

verified publisher icon PLSysSec

lio

55
Stars
22
Forks
Watchers

Labeled IO Library

verified publisher icon PLSysSec

rlbox

280
Stars
19
Forks
Watchers

RLBox sandboxing framework

verified publisher icon PLSysSec