PLSysSec/rustc-cet PLSysSec/rustc-cet

  • Stars
    star
    1
  • Language
    Rust
  • License
    Other
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
PLSysSec/rustc-cet
github

PLSysSec

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

haybale

Symbolic execution of LLVM IR with an engine written in Rust
Rust
524
star
2

rlbox

RLBox sandboxing framework
C++
283
star
3

sys

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

FaCT

Flexible and Constant Time Programming Language
OCaml
197
star
5

veriwasm

SFI verifier of Wasm binaries
Rust
79
star
6

lio

Labeled IO Library
Haskell
54
star
7

haybale-pitchfork

Verifying constant-time code with symbolic execution
Rust
42
star
8

ct-wasm

Constant-Time WebAssembly
24
star
9

wave

Verified Wasm runtime
Rust
20
star
10

swivel

HTML
16
star
11

cargo-scan

A tool for auditing Rust crates
Rust
13
star
12

rlbox_lucet_sandbox

RLbox integration to leverage WASM sandboxes compiled lucet
C++
12
star
13

pitchfork-angr

Python
12
star
14

rlbox_wasm2c_sandbox

C++
11
star
15

vera

JavaScript
11
star
16

veriwasm-verification

Coq proof for Veriwasm
Coq
9
star
17

bindings

Exploits from the Finding and Preventing Bugs in JavaScript Bindings paper
JavaScript
9
star
18

blade

Benchmarks for the Blade paper
C
8
star
19

ms-wasm

MS-Wasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Build and reproduce the results from the paper.
7
star
20

haskell-boolector

Haskell bindings for the Boolector SMT solver
Haskell
5
star
21

scooter

Rust
5
star
22

ct-wasm-ports

WebAssembly
5
star
23

hfi-root

C
4
star
24

rlbox-book

C++
3
star
25

go2wrk

a small heavy duty http/https benchmark tool written in go
Go
3
star
26

cse227-spring22

Makefile
2
star
27

cse291-fall16

CSE 291, Fall 2016
HTML
2
star
28

lucet-spectre

Rust
2
star
29

paper_template

A template deian doesn't like for papers
Python
2
star
30

inline-fact

Inline FaCT in Haskell
Haskell
2
star
31

zerocost_root

Root repo for zerocost testing
HTML
2
star
32

cse127-website

HTML
2
star
33

wasmtime-spectre

Rust
2
star
34

frankie

Simple well-typed Haskell webserver and routing framework
Haskell
1
star
35

rlbox_wamr_sandbox

RLBox integration to leverage WASM sandboxes compiled with WAMR
C++
1
star
36

CTFFI

Python FFI for FaCT
Python
1
star
37

simple_library_example

Small library example. Good example for porting to rlbox and testing features
C++
1
star
38

wasm2c_sandbox_compiler

The WebAssembly Binary Toolkit
C++
1
star
39

ct-wasm-chromium

Instructions and resources for building chromium with support for CT-Wasm
1
star
40

cse291-spring21

Makefile
1
star
41

wasm-beyond-the-browser

A site for the workshop at Berkeley
HTML
1
star
42

mswasm-llvm

LLVM fork for producing MS-Wasm
C++
1
star
43

tasty-gradescope

Generate GradeScope score summaries from Tasty tests
Haskell
1
star
44

cse130-winter17

CSE 130 Winter 2017 course repo
HTML
1
star
45

node

Fork of node using the safe V8 API to address binding bugs
JavaScript
1
star
46

hostcall_instrumented_wasmtime

wasmtime instrumented with hw timers at the hostcall boundary to measure I/O latency
Rust
1
star
47

ct-wasm-proofs

Proofs about the soundness and timing properties of CT-Wasm
Isabelle
1
star