Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @alphasnupe
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @alphasnupe
-
snupe 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.https://twitter.com/Conaw/status/1206137383839649792 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
snupe proslijedio/la je Tweet
memory tagging should be a game changer for C and C++; get with the program,
@intel and@apple!!pic.twitter.com/z2vXAtTb7z
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Formal Methods is the answer to ending CPU side channel attacks:https://youtu.be/uIbPt1v6QKE
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Bruce Schneier
@schneierblog is trying to hawk@defcon badges. I guess times are rough bro?Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It was just explained to me by a prominent security company that "symbolic execution" is the same thing as "dynamic taint analysis."
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
snupe proslijedio/la je Tweet
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!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
snupe proslijedio/la je Tweet
The 70s called, they want their Lisp Machine architecture back.https://twitter.com/epakskape/status/1152289631913725952 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
snupe proslijedio/la je Tweet
#fuzzing with grammar without writing grammar? New release of#grammarinator is out!#antlrhttps://github.com/renatahodovan/grammarinator …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
snupe proslijedio/la je Tweet
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
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
snupe 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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Contrary to popular belief, riscv-boom is vulnerable to Spectre attacks.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
snupe 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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Perhaps the most underrated security/verification research: https://www.csail.mit.edu/research/kami-modular-deductive-hardware-verification-platform …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.