Language-based security on android

PLAS'09 - Proceedings of the ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security

Volumn , Issue , 2009, Pages 1-7

  Chaudhuri, Avik ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Certified compilation; Data flow security; Hybrid type system; Mobile code

Indexed keywords

CERTIFIED COMPILATION; DATAFLOW; HYBRID TYPE; LANGUAGE-BASED SECURITY; MOBILE CODES; OPEN-SOURCE; OPERATIONAL SEMANTICS; SECURITY PROPERTIES; TYPE SYSTEMS;

COMPUTER SOFTWARE; LINGUISTICS; MOBILE DEVICES; QUERY LANGUAGES; ROBOTS;

NETWORK SECURITY;

EID: 70450260685     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1554339.1554341     Document Type: Conference Paper

References (12)

1. Android developers. http://developer.android.com/index.html.
2. Android market. http://www.android.com/market/.
3. Android project. http://source.android.com/.
4. The Jif project. http://www.cs.cornell.edu/jif/.
5. The Mobius project. http://mobius.inria.fr/twiki/bin/view/Mobius.
6. The S3MS project. http://www.s3ms.org/index.jsp.
7. WALA. http://wala.sourceforge.net/wiki/index.php/Main-Page.
8. A. Chaudhuri, P. Naldurg, and S. Rajamani. A type system for data-flow integrity on Windows Vista. In PLAS'08: Programming Languages and Analysis for Security, pages 89-100. ACM, 2008.
9. W. Enck, M. Ongtang, and P. McDaniel. Understanding Android security. IEEE Security & Privacy Magazine, 7(1):10-17, 2009.
10. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In PLDI'02: Programming Language Design and Implementation, pages 234-245. ACM, 2002.
11. G. C. Necula. Proof-carrying code. In POPL'97: Principles of Programming Langauges, pages 106-119. ACM, 1997.
12. R. V. Rai. Soot: A Java bytecode optimization framework. Master's thesis, McGill University, 2000.