Automated Analysis of Privacy Requirements for Mobile Apps. - Sebastian Zimmeck; Ziqi Wang 007; Lieyong Zou; Roger Iyengar; Bin Liu 017; Florian Schaub; Shomir Wilson; Norman M. Sadeh; Steven M. Bellovin; Joel R. Reidenberg (AAAI Fall Symposia, 2016)