A allthingsdistributed.com Proving security at scale with automated reasoning 88 points werner 7 years ago 10 comments
