Anti-tampering is a form of software protection conceived to detect and avoid the execution
of tampered programs. Tamper detection assesses programs' integrity with load or execution …

Context Code hardening is meant to fight malicious tampering with sensitive code executed
on client hosts. Code splitting is a hardening technique that moves selected chunks of code …

CodeBender implements a novel client replacement strategy to counter the malicious host
problem and address the problem of guaranteeing client-code security. CodeBender is a …

Предлагается модель процесса конфигурирования защищенных систем со
встроенными и мобильными устройствами, а также архитектура программного …

Java bytecode is a quite high-level language and, as such, it is fairly easy to analyze and
decompile with malicious intents, eg, to tamper with code and skip license checks. Code …

In a typical client-server scenario, a trusted server provides valuable services to a client,
which runs remotely on an untrusted platform. Of the many security vulnerabilities that may …

Invariants monitoring is a software attestation technique that aims at proving the integrity of a
running application by checking likely-invariants, which are statistically significant predicates …

Attackers can tamper with programs to break usage conditions. Different software protection
techniques have been proposed to limit the possibility of tampering. Some of them just limit …

Nowadays, applications are usually large-scale, this making tasks of comprehending and
debugging software rather complicated. As a dynamic reduction technique for simplifying …

Исследование посвящено изучению вопросов проектирования и анализа
комбинированных механизмов защиты сложных коммуникационных систем со …