Curtis Walker@alphasnupePerhaps 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 Android5 Retweets24 Likes