Preventing Timing Side Channels in High Level Synthesis
A type system extension to enable secure HLS without timing side channels
Posts by Collection
portfolio
A lisp -> Wasm compiler built in Haskell
A simple project I made during AmeriHac to learn more about Haskell
publications
SRC@PLDI
talks
Leveraging Types and Typestate for Peripheral Cost Analysis
Published:
I presented in-progress work on developing a type system to automically perform energy cost analysis for embedded systems with stateful peripherals.
teaching
Teaching experience 2
Workshop, University 1, Department, 2015
CMSC389X
Student Taught Initiated Course, University of Maryland, Department of Computer Science, 2026