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.