snupe

@alphasnupe

Computer Scientist; Reverse Engineer; Program Analysis; PL/FM; Hardware Security; Fuzzing; Rust; Former Research Professor; Aspiring Rapper

Boston, MA
Joined June 2019

Media

  1. 15 Aug 2019

    Formal Methods is the answer to ending CPU side channel attacks:

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·