Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1901.05456
Cited By
TrABin: Trustworthy Analyses of Binaries
16 January 2019
Andreas Lindner
Roberto Guanciale
Roberto Metere
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"TrABin: Trustworthy Analyses of Binaries"
1 / 1 papers shown
Title
Symbolic Parallel Composition for Multi-language Protocol Verification
Faezeh Nasrabadi
Robert Künnemann
Hamed Nemati
44
0
0
09 Apr 2025
1
