Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Hardening attack surfaces with formally proven binary format parsers
microsoft.com
150 points
deterministic
4 years ago
61 comments
Loading...
Hardening attack surfaces with formally proven binary format parsers | Heykuki News