-
Georgia Tech
- Atlanta
- taesoo.kim
Stars
Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
SGX Tutorial at CCS17: SGX Security and Privacy
FxMark: Filesystem Multicore Scalability Benchmark
An uroboros program with 100+ programming languages
LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.
Convert PDF to HTML without losing text or format.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Boot to Gecko aims to create a complete, standalone operating system for the open web.
Websockify is a WebSocket to TCP proxy/bridge. This allows a browser to connect to any application/server/service.