Runtime Verification meets Android Security

Right now, this page serves more or less as a placeholder for demonstrating a prototypic implementation of a runtime verification framework on Android.

If the above link does not work, go directly to YouTube to see the video.

Accompanying papers


The above video serves as background material to the following NFM'12 short paper, which discusses our runtime verification approach on Android phones:


Vastly improved presentation of our logic, LTLFO, that was used in the previous paper to monitor Apps. New, more efficient monitoring algorithm based on automata.

Tool downloads

Coming soon...