LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference.

Zhenxiao Qi Yu Qu Heng Yin

Published in: NDSS (2022)

Keyphrases

abductive reasoning
multi valued
logical inference
fully automatic
inference mechanism
logic programming
inference engine
memory usage
bayesian networks
modal logic
classical logic
memory requirements
semi automatic
deductive reasoning
random access memory
memory space
logical operations