In the age of increasing mobile and smart connectivity, malware poses an ever evolving
threat to individuals, societies and nations. Anti-malware companies are often the first and …

Software obfuscation has always been a controversially discussed research area. While
theoretical results indicate that provably secure obfuscation in general is impossible, its …

Software security with respect to reverse-engineering is a challenging discipline that has
been researched for several years and which is still active. At the same time, this field is …

The execution of malware in an instrumented sandbox is a widespread approach for the
analysis of malicious code, largely because it sidesteps the difficulties involved in the static …

Code obfuscation is widely used by software developers to protect intellectual property, and
malware writers to hamper program analysis. However, there seems to be little work on …

Transferring the traditional business model for selling digital goods linked to physical media
to the online world leads to the need for a system to protect digital intellectual property …

Zero-day or unknown malware are created using code obfuscation techniques that can
modify the parent code to produce offspring copies which have the same functionality but …

Malware is a major security threat confronting computer systems and networks and has
increased in scale and impact from the early days of ICT. Traditional protection mechanisms …

We describe a novel software verification primitive called Oblivious Hashing. Unlike
previous techniques that mainly verify the static shape of code, this primitive allows implicit …

A cyber-physical system (CPS) is a composition of independently interacting components,
including computational elements, communications and control systems. Applications of …