The advent of Blockchain and smart contracts is empowering many technologies and
systems to automate commerce and facilitate the exchange, tracking and the provision of …

The volume and the sophistication of malware are continuously increasing and evolving.
Automated dynamic malware analysis is a widely-adopted approach for detecting malicious …

Mobile crowdsensing (MCS) is an emerging data-driven paradigm that leverages the
collective intelligence of the crowd, their mobility, and the crowd-companioned smart mobile …

We present the design, implementation, and verification of XMHF-an eXtensible and
Modular Hypervisor Framework. XMHF is designed to achieve three goals--modular …

Malware continues to remain one of the most important security problems on the Internet
today. Whenever an anti-malware solution becomes popular, malware authors typically …

With the rapid proliferation of malware attacks on the Internet, understanding these
malicious behaviors plays a critical role in crafting effective defense. Advanced malware …

By their very nature, malware samples employ a variety of techniques to conceal their
malicious behavior and hide it from analysis tools. To mitigate the problem, a large number …

Dynamic-analysis techniques have become the linchpins of modern malware analysis.
However, software-based methods have been shown to expose numerous artifacts, which …

Memory forensics is the branch of computer forensics that aims at extracting artifacts from
memory snapshots taken from a running system. Even though it is a relatively recent field, it …

We present überSpark (üSpark), an innovative architecture for compositional verification
of security properties of extensible hypervisors written in C and Assembly. üSpark …