Darr; Skip to Main Content. In my spare time I like to geocache, learn new things, and noodle around in videogames. My academic papers, curriculum vitae, etc. My blog, which has no set topic.

Are now available at Docker Hub. Are now available at Bintray. Model checking framework, the Kiasan. Symbolic execution framework, and the Indus. Static analysis framework, the Bandera. Rockwell Collins Advanced Technology Center, and Lockheed Martin Advanced Technology Laboratories.

Amandroid is open sourced under EPL. Added Amandroid documentation and API Doc. Amandroid website is under construction. Amandroid is a static analysis framework for Android apps. The Android platform is immensely popular. However, malicious or vulnerable applications have been reported to cause several security problems. On top of Amandroid we performed certain specific security analy.

Technical Report SAnToS-TR2016-03-11, SAnToS Laboratory, Department of Computing and Information Sciences, Kansas State University, March 2016. Ecosphere Principles for Medical Application Platforms. Communication Patterns for Interconnecting and Composing Medical Systems.

The Logika programming language is a subset of Scala. Thus providing a high-assurance toolchain for program correctness down to machine code. Provides an all-in-one coding, testing, and proving environment for Logika, and CLion.