buherator on Nostr: A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
buherator /
npub17wv…nag2
2024-08-15 18:14:22
Author Public Key
npub17wvr8uywpuzew2lqvprnt4g7cuq0kyvdf8gz57dlv3rsjvfcer3qqgnag2Published at
2024-08-15 18:14:22Event JSON
{
"id": "846601063d2bec0b625422e00b8983f0d28567db0990db0ed1fd0ecfd8425310",
"pubkey": "f39833f08e0f05972be0604735d51ec700fb118d49d02a79bf6447093138c8e2",
"created_at": 1723745662,
"kind": 1,
"tags": [
[
"proxy",
"https://infosec.place/objects/d9575389-a290-4061-b876-2d8cd740dfac",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://infosec.place/objects/d9575389-a290-4061-b876-2d8cd740dfac",
"pink.momostr"
],
[
"-"
]
],
"content": "A Formal Analysis of SCTP: Attack Synthesis and Patch Verification",
"sig": "a96ec16bc5d766d76f7610ea46f768e52fc49e97525d8b382e516ea3090b4f8bed7d31638cc6ef09eff86d35c2ecf99126f94f2ff8e0e04dcd572d921d80ae99"
}