Beast code in Giters

UCSD PLSysSec's repositories

Exploits from the Finding and Preventing Bugs in JavaScript Bindings paper

Language:JavaScript10 60

CSE 291, Fall 2016

Language:HTML2 40

CSE 130 Winter 2017 course repo

Language:HTML1 130

Fork of node using the safe V8 API to address binding bugs

Language:JavaScriptNOASSERTION1 60

Generate GradeScope score summaries from Tasty tests

Language:HaskellBSD-3-Clause1 50

Homework Assignment #0

Language:HaskellMIT0120

Flow sensitive encoding in a flow insensitive calculus

Language:TeX030

model of a runtime and gc embedded in haskell

Language:HaskellBSD-3-Clause070

Language:JavaScript060

Enhanced port of the Jekyll "Hyde" theme to Hugo

Language:CSSMIT040

A OS/PL approach IFC for JS

Language:TeX000

A modern and easy-to-use crypto library.

Language:CNOASSERTION0100

An open source, portable, easy to use, readable and flexible SSL library

Language:CNOASSERTION090

A Material Design theme for MkDocs

Language:CSSMIT050