hukc's stuff

My Image

hukc

Bit twiddler and theorem prover.

I like to know how things work. My professional interests are operating systems, system security, and cryptography. I make crypto go fast.

Previously worked on file encryption, key management and verified boot for Android. I wrote the accelerated implementations of AES-HCTR2 and added binutils support for the RISC-V Vector Cryptography Extension

I contribute to the Linux kernel, Clang, binutils, and RISC-V.

My free time is spent playing Tetris and lifting.