nmeum on Nostr: Here's a pre-print of our DATE'25 paper where we present BinSym, a symbolic executor ...
Published at
2025-01-24 16:48:33Event JSON
{
"id": "2516b74a6c1f889ade0711065446e1e14a7b3224becf3ff8ea0f6a5e4189b17e",
"pubkey": "bbcc0157351db1c396e6b4bb5561f38a278e9d29f5b9265f1007a512df4e209d",
"created_at": 1737737313,
"kind": 1,
"tags": [
[
"t",
"riscv"
],
[
"t",
"haskell"
],
[
"t",
"symbolicexecution"
],
[
"t",
"date25"
],
[
"proxy",
"https://chaos.social/users/nmeum/statuses/113884352589798048",
"activitypub"
]
],
"content": "Here's a pre-print of our DATE'25 paper where we present BinSym, a symbolic executor for RISC-V binary code that is based on a formal (yet executable) description of RISC-V instruction semantics in Haskell: https://www.ibr.cs.tu-bs.de/vss/Publications/2025/tempel_25_binsym.pdf\n\n#RISCV #Haskell #SymbolicExecution #DATE25",
"sig": "d0018228abff5e1601c5a0101264886f7bcb3da009cf00703c372a3526f9e9f6ff704267ba4e885b280d7fa46d889282b4742647af5418b96903c302a9edc5ab"
}
