Preventing Timing Side Channels in High Level Synthesis
A type system extension to enable secure HLS without timing side channels
Portfolio
A lisp -> Wasm compiler built in Haskell
A simple project I made during AmeriHac to learn more about Haskell
A type system extension to enable secure HLS without timing side channels
A simple project I made during AmeriHac to learn more about Haskell