https://deepai.org/publication/pem-representing-binary-program-semantics-for-similarity-analysis-via-a-probabilistic-execution-model
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution...
Aug 29, 2023 - 08/29/23 - Binary similarity analysis determines if two binary executables are from the same source program. Existing techniques leverage sta...
program semantics
https://www.kth.se/social/course/DD2557/calendar/
Schedule for Program Semantics and Analysis (DD2557) | KTH
program semanticsscheduleanalysiskth