snupe

@alphasnupe

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

Boston, MA
Vrijeme pridruživanja: lipanj 2019.

Tweetovi

Blokirali ste korisnika/cu @alphasnupe

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @alphasnupe

  1. proslijedio/la je Tweet

    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.

    Poništi
  2. proslijedio/la je Tweet
    19. ruj 2019.

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

    Poništi
  3. 9. lis 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.

    Poništi
  4. 15. kol 2019.

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

    Poništi
  5. 9. kol 2019.

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

    Poništi
  6. 8. kol 2019.

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

    Poništi
  7. proslijedio/la je Tweet
    15. ožu 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!

    Poništi
  8. proslijedio/la je Tweet
    21. srp 2019.

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

    Poništi
  9. proslijedio/la je Tweet
    26. srp 2017.

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

    Poništi
  10. proslijedio/la je Tweet
    14. ožu 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.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet

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

    Poništi
  12. 17. lip 2019.

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

    Poništi
  13. proslijedio/la je Tweet

    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.

    Prikaži ovu nit
    Poništi
  14. 16. lip 2019.

    Perhaps the most underrated security/verification research:

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·