enter search term and/or author name
We present a criterion for checking local and global deadlock freedom of finite state systems expressed in BIP: a component-based framework for constructing complex distributed systems. Our criterion is evaluated by model-checking a set of...
Variability Bugs in Highly Configurable Systems: A Qualitative Analysis
Iago Abal, Jean Melo, Ştefan Stănciulescu, Claus Brabrand, Márcio Ribeiro, Andrzej Wąsowski
Article No.: 10
Variability-sensitive verification pursues effective analysis of the exponentially many variants of a program family. Several variability-aware techniques have been proposed, but researchers still lack examples of concrete bugs induced by...
Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware
Joshua Garcia, Mahmoud Hammad, Sam Malek
Article No.: 11
The number of malicious Android apps is increasing rapidly. Android malware can damage or alter other files or settings, install additional applications, and so on. To determine such behaviors, a security analyst can significantly benefit from...