Publications - Department of Informaticsarticle-listingtag:www.mn.uio.no,2012-05-31:/ifi/english/research/projects/rvabs/publicationswww.mn.uio.no2013-01-28T17:14:10.784Ztag:www.mn.uio.no,2013-01-28:/ifi/english/research/projects/rvabs/publications/atps13.htmlHow useful are existing monitoring languages for securing Android apps?2013-01-28T16:58:08.287Z2013-01-28T17:04:28.329ZKevin FalzonAndreas FollnerSiegfried RasthoferVolker StolzSteven ArztEric Boddentag:www.mn.uio.no,2012-05-31:/ifi/english/research/projects/rvabs/publications/isola12.htmlDelta-oriented Monitor Specification2012-05-31T16:29:55.452Z2012-10-21T10:37:31.668ZEric BoddenKevin FalzonKa I PunVolker Stolz