Efficient resolution of security-sensitive values in Android using abstract interpretation
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014. === Cataloged from PDF version of thesis. === Includes bibliographical references (pages 69-71). === In this thesis I present a design for an efficient and sound abstract interpre...
Main Author: | Petters, Dmitrij |
---|---|
Other Authors: | Martin C. Rinard. |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/91859 |
Similar Items
-
Secure Input Overlays : increasing security for sensitive data on Android
by: Sobel, Louis (Louis A.)
Published: (2016) -
Using multiple representations for efficient communication of abstract values
by: Waldin, Earl DeWitt
Published: (2005) -
TACHYON : customizable program analysis via generic abstract interpretation
by: Osgood, Nathaniel David
Published: (2013) -
Flexible and efficient sharing of protected abstractions
by: Candea, George M. (George Mahai), 1974-
Published: (2009) -
The NetLog : an efficient, highly available, stable storage abstraction
by: Parthasarathi, Arvind, 1975-
Published: (2009)