An Approach to Reconstruction of Control Flow of an Obfuscated Program
Труды Института системного программирования РАН, 2018 Control flow obfuscation is one of widespread methods used to protect application binary code from analysis. The obfuscation transformations dramatically increase the complexity of separation and recognition of the algorithm and data structures.
Ilya N. Ledovskikh, Maxim G. Bakulin
doaj
The equivalence problem for programs with mode switching is PSPACE-complete.
Труды Института системного программирования РАН, 2006 We study a formal model of imperative sequential programs. In this model programs are viewed as deterministic finite automata whose semantics is defined on Kripke structures.
Rimma Podlovchenko +2 more
doaj
Watermarking Java Programs using Dummy Methods with Dynamically Opaque Predicates
CoRR, 2010 Software piracy, the illegal using, copying, and resale of applications is a major concern for anyone develops software. Software developers also worry about their applications being reverse engineered by extracting data structures and algorithms from an application and incorporated into competitor's code.
openaire +2 more sources
Interpretability Is in the Mind of the Beholder: A Causal Framework for Human-Interpretable Representation Learning. [PDF]
Entropy (Basel), 2023 Marconato E, Passerini A, Teso S.
europepmc +1 more source
To refine symbolic and concrete deobfuscation of programs protected by opaque predicates
, 2020 High demand exists nowadays to improve advanced obfuscation and deobfuscation techniques, with the purpose of preventing intellectual property piracy or improving defence against cyber security attacks. This thesis focuses on the improvement of the deobfuscation achieved by symbolic and concrete analysis tools of protected programs using opaque ...
openaire +1 more source
Time-Resolved Structural Measurement of Thermal Resistance across a Buried Semiconductor Heterostructure Interface. [PDF]
Materials (Basel), 2023 Lee J +6 more
europepmc +1 more source
Extended Perspective Shift and Discourse Economy in Language Processing. [PDF]
Front Psychol, 2021 Harris JA.
europepmc +1 more source
The Neuron Phenotype Ontology: A FAIR Approach to Proposing and Classifying Neuronal Types. [PDF]
Neuroinformatics, 2022 Gillespie TH +4 more
europepmc +1 more source
Thinking action as a performative and participative mental awareness. [PDF]
Front Psychol, 2023 Ziegler R, Weger U.
europepmc +1 more source
Intentional policy graphs: A pipeline for explaining agent behavior through intentions. [PDF]
Patterns (N Y)Gimenez-Abalos V +5 more
europepmc +1 more source