Some silly Z3 scripts I wrote
(news.ycombinator.com)
1.
2.
Show HN: SMTP Tunnel – A SOCKS5 proxy disguised as email traffic to bypass DPI
(news.ycombinator.com)
3.
Hackers exploit WordPress plugin Post SMTP to hijack admin accounts
(bleepingcomputer.com)
4.
Automated Lean Proofs for Every Type
(news.ycombinator.com)
5.
Post SMTP plugin flaw exposes 200K WordPress sites to hijacking attacks
(bleepingcomputer.com)