José A. Alonso on Nostr: Verification and attack synthesis for network protocols. ~ Max von Hippel. #ITP #ACL2 ...
Published at
2024-08-20 09:27:01Event JSON
{
"id": "0914892c18c2e146428af243f775ba6c0573015923748af5aa3e8d29a9dbb8d9",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724146021,
"kind": 1,
"tags": [
[
"t",
"acl2"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112993633644923613",
"activitypub"
]
],
"content": "Verification and attack synthesis for network protocols. ~ Max von Hippel. https://repository.library.northeastern.edu/files/neu:ms35v299k/fulltext.pdf #ITP #ACL2",
"sig": "fe9b2f395f70f025c1dd6397e3ae468eef23801cab51fc731dee9fd2a0df8760c4587214b6850a4e6c26e4c12350bd0147de2d7aa0f540401962ec3744107368"
}
