Alex Kisil
I'm a Computer Engineer
About
Computer engineer with 7 years of experience working at the intersection of hardware and software. I've programmed custom microarchitecture on FPGAs in SystemVerilog, built accessible SDKs in C++, and co-invented two patents in the hardware security and privacy space. I've also led a team of 4 engineers through the challenges of a scrappy startup environment and presented technical products to investors like Intel and DARPA—securing our team $4M in funding. I'm most drawn to performance-critical problems where deep hardware knowledge provides tangible advantages, especially in emerging computer architectures such as quantum systems and chiplets.
Research
Publications
Morpheus II
A RISC-V Security Extension for Protecting Vulnerable Software and Hardware.
- Utilized live-churning the ciphertext of common attack assets like undefined semantics and pointers.
- My contributions involved microarchitecture and ISA design and implementation, cipher and hashing modules, and ciphertext caching.
- View the paper.
Patents
Sequestered Encryption
Secure HW Enclave for Processing Encrypted Data
- Contributed to the design and development of the custom ISA, encryption engines, exception handling modules, caches, and SW emulation & interfaces.
- View the patent.
Data Integrity in Sequestered Encryption
Safely Releasing Data in Privacy-Enhanced Systems
- Contributed to the design and development of computational fingerprinting logic, hashing modules, exception handling, and SW emulation & interfaces.
- View the patent.
