- Announcing Spectacle - A language for Writing Checking Formal Specifications in Haskell https://awakesecurity.com/blog/spectacle-a-language-for-writing-and-checking-formal-specifications-in-haskell/ 9 comments haskell
- Analysis of Network Attack Surface across US States and County offices https://awakesecurity.com/blog/the-day-after-the-elections-the-attack-surface-that-could-undermine-our-trust-in-the-elections/ 4 comments netsec