Log in
Sign up
See new Tweets

Conversation

Curtis Walker
@alphasnupe
Perhaps the most underrated security/verification research: https://csail.mit.edu/research/kami-modular-deductive-hardware-verification-platform…
7:08 PM · Jun 16, 2019·Twitter for Android
5
Retweets
24
Likes