Lancern's Treasure Chest
15:53 · Jul 4, 2022 · Mon
Hardening attack surfaces with formally proven binary format parsers
https://www.microsoft.com/en-us/research/publication/hardening-attack-surfaces-with-formally-proven-binary-format-parsers/
Microsoft Research
Hardening Attack Surfaces with Formally Proven Binary Format Parsers - Microsoft Research
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…
Home
Powered by
BroadcastChannel
&
Sepia