snupe

@alphasnupe

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

Boston, MA
Joined June 2019

Tweets

You blocked @alphasnupe

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @alphasnupe

  1. Retweeted

    In the past three years of working on large safety critical systems, I've learned that verification isn't the real problem, but it's writing specifications. Don't @ me.

    Undo
  2. Retweeted
    19 Sep 2019

    memory tagging should be a game changer for C and C++; get with the program, and !!

    Undo
  3. 9 Oct 2019

    The Rust programming language has significant potential to be impactful with respect to software security, particularly as the formal verification tools for the language mature.

    Undo
  4. 15 Aug 2019

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

    Undo
  5. 9 Aug 2019

    Bruce Schneier is trying to hawk badges. I guess times are rough bro?

    Undo
  6. 8 Aug 2019

    It was just explained to me by a prominent security company that "symbolic execution" is the same thing as "dynamic taint analysis."

    Undo
  7. Retweeted
    15 Mar 2019

    Pretty smart move of Beto to let the world know about his being a member of CDC.... that way when oppo research tries to dig up dirt from his past, nobody can accuse him of being a hacker!

    Undo
  8. Retweeted
    21 Jul 2019

    The 70s called, they want their Lisp Machine architecture back.

    Undo
  9. Retweeted
    26 Jul 2017

    with grammar without writing grammar? New release of is out!

    Undo
  10. Retweeted
    14 Mar 2019

    ICYMI: we're bringing our SSITH hardware defenses to the 2019 & 2020 Voting Villages! SSITH aims to demo that correctly constructed electronics can be a substantive part of a system’s security by limiting the impact of errors made within the software stack.

    Show this thread
    Undo
  11. Retweeted

    So many academics forget that our goal, as a profession, is *not* to publish papers. It's to change the world.

    Undo
  12. 17 Jun 2019

    Contrary to popular belief, riscv-boom is vulnerable to Spectre attacks.

    Undo
  13. Retweeted

    I never understood the fear mongering behind ML systems becoming self-aware. My first research project in Uni was on ML and I had the revelation that although powerful, they were utterly stupid, so I switched to PL. 10 years later, verifying DNNs, my god are they still stupid.

    Show this thread
    Undo
  14. 16 Jun 2019

    Perhaps the most underrated security/verification research:

    Undo

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

    ·