Detects self-reverting storage slots in Ethereum smart contracts — reentrancy guards and cache slots — as a plugin for the Heimdall symbolic execution toolkit. Built as a research intern at the University of Toronto.
Partial implementation of the TruSt stateless dynamic partial-order reduction algorithm inside Lincheck, JetBrains' model-checking framework for concurrent JVM data structures. Built as a research intern at MPI-SWS.
Request-routing gateway for Sotoon's microservices, built during the internship program. Fake upstreams deployed on Kubernetes with Ansible, Redis-backed rate limiting, Prometheus and Grafana monitoring, and live config reloading. Not open source.
Coursework in distributed systems — gRPC and Protocol Buffers services, concurrency patterns in Go, and a GlusterFS cluster set up across Xen virtual machines.
Socket programming, a wireless LAN simulation in NS-3, distance-vector and link-state routing protocols, and a comparison of the BBR, Reno and NewReno TCP congestion control algorithms.
Extensions to the xv6 teaching operating system — new system calls, alternative process scheduling policies, and kernel synchronization primitives.
Apache with SSL and packet capture in Wireshark, encryption, decryption and digital signatures with OpenSSL, GitHub OAuth with JWT, and a phishing demonstration built on DHCP snooping and DNS spoofing.
Generating wallet credentials and vanity addresses, building valid transactions on the Bitcoin testnet, and mining a Bitcoin block containing a single transaction.