Security Researcher at Microsoft Security AI (MSECAI). Previously at @theori-io (@qwaz-theori) and @sslab-gatech.
solved-hacking-problem. :heavy_check_mark: My solutions for CTF & wargame challenges
89rust-cve. CVEs for the Rust standard library
60webworker-with-typescript. Two example projects which use WebWorker in TypeScript + Webpack environment.
32phd-bookmark. A collection of online resources that I found useful for Ph.D. students
18satire. An educational SAT solver written in Rust
13sunburn. A PoC library for Solana smart contracts
9ctf-env-setup. :game_die: CTF environment setup script for Ubuntu
5resume. :pencil: Personal History
5komodi. Visual programming language with static typing and translation-time check
3soma. :space_invader: PWN problem manager
2blind-vote. :see_no_evil: 파이썬 Flask 프레임워크로 만들어진 간단한 익명투표 사이트입니다.
2blog. Finally building a new blog
2cryptomato. :lock::tomato: A fresh approach to learn applied cryptography
2scala-distributed-sorting. Distributed Sorting written in Scala
2AI2015-python3. 2015 포카전 슬라임 땅따먹기 Python 3 Skeleton
1GraphAnalyzer. GSHS R&E project - filter and visualize time series graph data
1GSHSmeal. :fork_and_knife: GSHS meal rating system
1too-many-lists. Notebook for https://rust-unofficial.github.io/too-many-lists/
1synthetic-friend. :raising_hand: Your friendly chat bot
1tacotron-ksss. Multi speaker tacotron for Korean Single Speaker Speech dataset
1Theseus. Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware in order to maximally leverage the power of language safety, and thus shift OS responsibilities (resource management) into the compiler.
1