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