Beast code in Giters

UCSD PLSysSec's repositories

ct-wasm

Constant-Time WebAssembly

24 8 1

ct-wasm-ports

Language:WebAssemblyMIT5 70

ct-wasm-spec

Constant-Time WebAssembly

Language:WebAssemblyNOASSERTION5 60

go2wrk

a small heavy duty http/https benchmark tool written in go

Language:GoNOASSERTION3 50

ct-wasm-chromium

Instructions and resources for building chromium with support for CT-Wasm

MIT1 80

ct-wasm-node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

Language:JavaScriptNOASSERTION1 60

ct-wasm-proofs

Proofs about the soundness and timing properties of CT-Wasm

Language:Isabelle1 90

inline-fact

Inline FaCT in Haskell

Language:HaskellMIT1 6 1

llvm-hs

Haskell bindings for LLVM

Language:LLVM1 90

wasm-beyond-the-browser

A site for the workshop at Berkeley

Language:HTML1 40

fact-eval

Language:C09 2

adverse-gipeda

Gipeda performance dashboard, configured for Adverse

Language:HaskellMIT080

cowl

060

cse127-toy-webapp

Super vulnerable toy web app

Language:HTML070

cse130-winter18

Language:HTML0130

cse227-fall18

Language:CSS080

cse227-spring19

Language:HTML080

cse291-winter18

CSE 291 Winter 2018

Language:HTML050

ct-wasm-site

Site for hosting CT-Wasm artifacts

080

CTFFI

Python FFI for FaCT

Language:PythonApache-2.0060

dudect

fork of dudect that reads data from files

Language:C080

factlang.vim

Vim syntax highlighting for developing FaCT programs

Language:Vim script080

graalwasm

A simple example language built using the Truffle API.

Language:JavaUPL-1.0070

libmarkdown

Language:CNOASSERTION030

lockdown-node

Clone of node with code integrity (lockdown)

Language:JavaScriptNOASSERTION040

lockdown-node-example

Language:JavaScript090

openssl

TLS/SSL and crypto library

Language:CNOASSERTION090

tweetnacl-ctwasm

Language:WebAssembly090

verifying-constant-time

Language:Makefile030

x86-64

Runtime code generation for x86 64 bit machine code

Language:HaskellNOASSERTION020