John Regehr on Nostr: but if you think a binary format parser in Rust is cool, then this is *really* cool ...
Published at
2024-12-10 15:59:01Event JSON
{
"id": "c68181a847170bec0111d810b28fce8d49904a70ffacffeabce82e7febb6f795",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1733846341,
"kind": 1,
"tags": [
[
"e",
"8b8e2ed52182ce4d3de5494c704b4c8e01be68337212f362a85233380bde6e0b",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.social/users/regehr/statuses/113629353827426779",
"activitypub"
]
],
"content": "but if you think a binary format parser in Rust is cool, then this is *really* cool\n\n\"Hardening Attack Surfaces with\nFormally Proven Binary Format Parsers\"\n\nhttps://dl.acm.org/doi/pdf/10.1145/3519939.3523708",
"sig": "215263325ea1046655d211c82e9856f3e637bb63daef248c31d71f111b5c7154ac7acda9e1251d4506b34124d98717b4f947883779fccf89ba9bc6f5dddaf18d"
}
