added two android references

android.bib

@@ -918,17 +918,39 @@
  isbn = {978-1-4503-5716-6},
  pages = {231--242},
  doi = {10.1145/3196398.3196412},
- publisher = {ACM},
  keywords = {Android, app mining, app store, malware},
 }
 
 @inproceedings{Nayebi:2018:AFD,
- author = {Nayebi, Maleknaz and Kuznetsov, Konstantin and Chen, Paul and Zeller, Andreas and Ruhe, Guenther},
- title = {Anatomy of Functionality Deletion: An Exploratory Study on Mobile Apps},
+ author = {Nayebi, Maleknaz and Kuznetsov, Konstantin and Chen, Paul
+                  and Zeller, Andreas and Ruhe, Guenther},
+ title = {Anatomy of Functionality Deletion: An Exploratory Study on
+                  Mobile Apps},
  crossref = "MSR2018",
  isbn = {978-1-4503-5716-6},
  pages = {243--253},
  doi = {10.1145/3196398.3196410},
- publisher = {ACM},
- keywords = {app store mining, deletion, functionality, mobile apps, survey, taxonomy},
+ keywords = {app store mining, deletion, functionality, mobile apps,
+                  survey, taxonomy},
+}
+
+@inproceedings{Backes:Androguard:TACAS:2013,
+ author = {Backes, Michael and Gerling, Sebastian and Hammer, Christian
+                  and Maffei, Matteo and von Styp-Rekowsky, Philipp},
+
+ editor = {Piterman, Nir and Smolka, Scott A.},
+ title = {AppGuard -- Enforcing User Requirements on Android Apps},
+ crossref = "TACAS2013",
+ publisher = {Springer Berlin Heidelberg},
+ pages = {543--548},
+ isbn = {978-3-642-36742-7}
+}
+
+@inproceedings{nguyen19:sp,
+ title = {Short Text, Large Effect: Measuring the Impact of User
+                  Reviews on Android App Security \& Privacy}, 
+ author = {Duc Cuong Nguyen and Erik Derr and Michael Backes and Sven
+                  Bugiel}, 
+ crossref = "IEEESnP2019",
+ publisher = {IEEE}
 }
\ No newline at end of file

crossrefs-abbrev.bib

@@ -2114,6 +2114,12 @@
   year =	 2010,
 }
 
+@Proceedings{SOUPS2012,
+  title =	 "SOUPS 2012: Proceedings of the Eighth Symposium on Usable Privacy and Security",
+  booktitle =	 "SOUPS 2012: Proceedings of the Eighth Symposium on Usable Privacy and Security",
+  year =	 2012,
+}
+
 @Proceedings{CODASPY2016,
   title =	 "CODASPY 2016: Proceedings of the 6th ACM Conference
                   on Data and Application Security and Privacy",
@@ -5739,6 +5745,14 @@
   year =	 2012,
 }
 
+@Proceedings{IEEESnP2019,
+  title =	 "IEEE S\&P: 2019 IEEE Symposium on Security and
+                  Privacy",
+  booktitle =	 "IEEE S\&P: 2019 IEEE Symposium on Security and
+                  Privacy",
+  year =	 2019,
+}
+
 @Proceedings{IFIPSEC2005,
   title =	 "IFIP SEC 2005: 20th IFIP International Information
                   Security Conference",
@@ -6155,6 +6169,14 @@
   year =	 2008,
 }
 
+@Proceedings{TACAS2013,
+  title =	 "TACAS 2013: Tools and Algorithms for the
+                  Construction and Analysis of Systems",
+  booktitle =	 "TACAS 2013: Tools and Algorithms for the
+                  Construction and Analysis of Systems",
+  year =	 2013,
+}
+
 @Proceedings{TACOS2004,
   title =	 "TACoS: International Workshop on Test and Analysis
                   of Component Based Systems",

crossrefs-abbrevv.bib

@@ -2114,6 +2114,12 @@
   year =	 2010,
 }
 
+@Proceedings{SOUPS2012,
+  title =	 "SOUPS 2012: Proc. of the Eighth Symposium on Usable Privacy and Security",
+  booktitle =	 "SOUPS 2012: Proc. of the Eighth Symposium on Usable Privacy and Security",
+  year =	 2012,
+}
+
 @Proceedings{CODASPY2016,
   title =	 "CODASPY 2016: Proc. of the 6th ACM Conf.
                   on Data and Application Security and Privacy",
@@ -5739,6 +5745,14 @@
   year =	 2012,
 }
 
+@Proceedings{IEEESnP2019,
+  title =	 "IEEE S\&P: 2019 IEEE Symposium on Security and
+                  Privacy",
+  booktitle =	 "IEEE S\&P: 2019 IEEE Symposium on Security and
+                  Privacy",
+  year =	 2019,
+}
+
 @Proceedings{IFIPSEC2005,
   title =	 "IFIP SEC 2005: 20th IFIP Intl. Information
                   Security Conf.",
@@ -6155,6 +6169,14 @@
   year =	 2008,
 }
 
+@Proceedings{TACAS2013,
+  title =	 "TACAS 2013: Tools and Algorithms for the
+                  Construction and Analysis of Systems",
+  booktitle =	 "TACAS 2013: Tools and Algorithms for the
+                  Construction and Analysis of Systems",
+  year =	 2013,
+}
+
 @Proceedings{TACOS2004,
   title =	 "TACoS: Intl. Workshop on Test and Analysis
                   of Component Based Systems",

crossrefs-super-abbrev.bib

@@ -1480,6 +1480,12 @@
   year =	 2010,
 }
 
+@Proceedings{SOUPS2012,
+  title =	 "SOUPS 2012",
+  booktitle =	 "SOUPS 2012",
+  year =	 2012,
+}
+
 @Proceedings{CODASPY2016,
   title =	 "CODASPY 2016",
   booktitle =	 "CODASPY 2016",
@@ -4060,6 +4066,12 @@
   year =	 2012,
 }
 
+@Proceedings{IEEESnP2019,
+  title =	 "IEEE S\&P",
+  booktitle =	 "IEEE S\&P",
+  year =	 2019,
+}
+
 @Proceedings{IFIPSEC2005,
   title =	 "IFIP SEC 2005",
   booktitle =	 "IFIP SEC 2005",
@@ -4354,6 +4366,12 @@
   year =	 2008,
 }
 
+@Proceedings{TACAS2013,
+  title =	 "TACAS 2013",
+  booktitle =	 "TACAS 2013",
+  year =	 2013,
+}
+
 @Proceedings{TACOS2004,
   title =	 "TACoS",
   booktitle =	 "TACoS",