Ransomware is a recent type of malware which makes inaccessible the files or the device of
the victim. The only way to unlock the infected device or to have the keys for decrypting the …

Ransomware is a very effective form of malware that is recently spreading out on an
impressive number of workstations and smartphones. This malware blocks the access to the …

With the increasing diffusion of mobile technologies, nowadays mobile devices represent an
irreplaceable tool to perform several operations, from posting a status on a social network to …

Abstract Model checking is a formal verification technique. It takes an exhaustively strategy
to check hardware circuits and network protocols against desired properties. Having been …

Android is currently the most widely used mobile environment. This trend encourages
malware writers to develop specific attacks targeting this platform with threats designed to …

Malware applications are continuing to grow across all computing and mobile platforms.
Since the last decade, every day, half a million malware applications emerge as a real threat …

Android malware is increasing more and more in complexity. Current signature based
antimalware mechanisms are not able to detect zero-day attacks, also trivial code …

In mobile malware landscape there are many techniques to inject malicious payload in a
trusted application: one of the most common is represented by the so-called update attack …

A well-known curse of computer security research is that it often produces systems that,
while technically sound, fail operationally. To overcome this curse, the community generally …

Android represents the most widespread mobile environment. This increasing diffusion is
the reason why attackers are attracted to develop malware targeting this platform. Malware …