Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @alphasnupe
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @alphasnupe
-
snupe 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.https://twitter.com/Conaw/status/1206137383839649792 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
snupe Retweeted
memory tagging should be a game changer for C and C++; get with the program,
@intel and@apple!!pic.twitter.com/z2vXAtTb7z
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Formal Methods is the answer to ending CPU side channel attacks:https://youtu.be/uIbPt1v6QKE
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Bruce Schneier
@schneierblog is trying to hawk@defcon badges. I guess times are rough bro?Thanks. Twitter will use this to make your timeline better. UndoUndo -
It was just explained to me by a prominent security company that "symbolic execution" is the same thing as "dynamic taint analysis."
Thanks. Twitter will use this to make your timeline better. UndoUndo -
snupe Retweeted
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!
Thanks. Twitter will use this to make your timeline better. UndoUndo -
snupe Retweeted
The 70s called, they want their Lisp Machine architecture back.https://twitter.com/epakskape/status/1152289631913725952 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
snupe Retweeted
#fuzzing with grammar without writing grammar? New release of#grammarinator is out!#antlrhttps://github.com/renatahodovan/grammarinator …Thanks. Twitter will use this to make your timeline better. UndoUndo -
snupe Retweeted
ICYMI: we're bringing our SSITH hardware defenses to the 2019 & 2020
@defcon 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.pic.twitter.com/JUAANXrMIg
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
snupe Retweeted
So many academics forget that our goal, as a profession, is *not* to publish papers. It's to change the world.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Contrary to popular belief, riscv-boom is vulnerable to Spectre attacks.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
snupe 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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Perhaps the most underrated security/verification research: https://www.csail.mit.edu/research/kami-modular-deductive-hardware-verification-platform …
Thanks. Twitter will use this to make your timeline better. UndoUndo
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.