Microsoft company blog
Hardening attack surfaces with formally proven binary format parsers
With an eye toward performance, interoperability, or legacy concerns, low-level system software often must parse binary encoded data formats. Few tools are available for this task, especially since the formats involve a mixture of arithmetic and data dependence, beyond what can be handled by typical parser generators…
- Points
- 150
- HN comments
- 61
- Submissions
- 1
- Cited by
- 0 commenters
Security & PrivacySoftware Engineering2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 2, 2022 | Hardening attack surfaces with formally proven binary format parsers by deterministic | 150 | 61 |
