@Article{	  ar:ErethLortzPerner2014,
  author	= {Sarah Ereth and Steffen Lortz and Matthias Perner},
  journal	= {it -- Information Technology},
  publisher	= {de Gruyter Oldenbourg},
  title		= {{Confidentiality for Android Apps: Specification and
		  Verification}},
  year		= 2014,
  volume	= 56,
  number	= 6,
  pages		= {288--293}
}