High Performance Scalable and Expressive Modeling Environment to Study Mobile Malware in Large Dynamic Networks | IEEE Conference Publication | IEEE Xplore