According to the recent studies, malicious software (malware) is increasing at an alarming
rate, and some malware can hide in the system by using different obfuscation techniques. In …

Recent technological developments in computer systems transfer human life from real to
virtual environments. Covid-19 disease has accelerated this process. Cyber criminals' …

Malicious software (Malware) is a key threat to security of digital networks and systems.
While traditional machine learning methods have been widely used for malware detection …

In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …

Digital networks and systems are susceptible to malicious software (malware) attacks. Deep
learning (DL) models have recently emerged as effective methods to classify and detect …

To date, industrial antivirus tools are mostly using signature-based methods to detect
malware occurrences. However, sophisticated malware, such as metamorphic or …

Metamorphism is a technique that mutates the binary code using different obfuscations. It is
difficult to write a new metamorphic malware and in general malware writers reuse old …

Increasingly software correctness, reliability, and security is being analyzed using tools that
combine various formal and heuristic approaches. Often such analysis becomes expensive …

We show how the problem of nontermination proving can be reduced to a question of
underapproximation search guided by a safety prover. This reduction leads to new …

Over the past decade, malware costs more than $10 billion every year and the cost is still
increasing. Classical signature-based and emulation-based methods are becoming …