國立虎尾科技大學 |

Program Analysis for Android Security and Reliability.

Record Type:	Language materials, manuscript : Monograph/item
Title/Author:	Program Analysis for Android Security and Reliability./
Author:	Rahaman, Sydur.
Description:	1 online resource (212 pages)
Notes:	Source: Dissertations Abstracts International, Volume: 85-04, Section: B.
Contained By:	Dissertations Abstracts International85-04B.
Subject:	Computer science. -
Online resource:	click for full text (PQDT)
ISBN:	9798380604710

Program Analysis for Android Security and Reliability.
Rahaman, Sydur.

Program Analysis for Android Security and Reliability. - 1 online resource (212 pages)

Source: Dissertations Abstracts International, Volume: 85-04, Section: B.

Thesis (Ph.D.)--New Jersey Institute of Technology, 2023.

Includes bibliographical references

The recent, widespread growth and adoption of mobile devices have revolutionized the way users interact with technology. As mobile apps have become increasingly prevalent, concerns regarding their security and reliability have gained significant attention. The ever-expanding mobile app ecosystem presents unique challenges in ensuring the protection of user data and maintaining app robustness. This dissertation expands the field of program analysis with techniques and abstractions tailored explicitly to enhancing Android security and reliability. This research introduces approaches for addressing critical issues related to sensitive information leakage, device and user fingerprinting, mobile medical score calculators, as well as termination-induced data loss. Through a series of comprehensive studies and employing novel approaches that combine static and dynamic analysis, this work provides valuable insights and practical solutions to the aforementioned challenges. In summary, this dissertation makes the following contributions: (1) precise identifier leak tracking via a novel algebraic representation of leak signatures, (2) identifier processing graphs (IPGs), an abstraction for extracting and subverting user-based and device-based fingerprinting schemes, (3) interval-based verification of medical score calculator correctness, and (4) identifying potential data losses caused by app termination.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2024

Mode of access: World Wide Web

ISBN: 9798380604710Subjects--Topical Terms:

573171
Computer science.
Subjects--Index Terms:

Dynamic analysisIndex Terms--Genre/Form:

554714
Electronic books.

Program Analysis for Android Security and Reliability.
LDR:02789ntm a22004097 4500 001 1143711
005 20240517104932.5
006 m o d
007 cr mn ---uuuuu
008 250605s2023 xx obm 000 0 eng d
020 $a 9798380604710
035 $a (MiAaPQ)AAI30244137
035 $a AAI30244137
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Rahaman, Sydur. $3 1468488
245 1 0 $a Program Analysis for Android Security and Reliability.
264 0 $c 2023
300 $a 1 online resource (212 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 85-04, Section: B.
500 $a Advisor: Neamtiu, Iulian.
502 $a Thesis (Ph.D.)--New Jersey Institute of Technology, 2023.
504 $a Includes bibliographical references
520 $a The recent, widespread growth and adoption of mobile devices have revolutionized the way users interact with technology. As mobile apps have become increasingly prevalent, concerns regarding their security and reliability have gained significant attention. The ever-expanding mobile app ecosystem presents unique challenges in ensuring the protection of user data and maintaining app robustness. This dissertation expands the field of program analysis with techniques and abstractions tailored explicitly to enhancing Android security and reliability. This research introduces approaches for addressing critical issues related to sensitive information leakage, device and user fingerprinting, mobile medical score calculators, as well as termination-induced data loss. Through a series of comprehensive studies and employing novel approaches that combine static and dynamic analysis, this work provides valuable insights and practical solutions to the aforementioned challenges. In summary, this dissertation makes the following contributions: (1) precise identifier leak tracking via a novel algebraic representation of leak signatures, (2) identifier processing graphs (IPGs), an abstraction for extracting and subverting user-based and device-based fingerprinting schemes, (3) interval-based verification of medical score calculator correctness, and (4) identifying potential data losses caused by app termination.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2024
538 $a Mode of access: World Wide Web
650 4 $a Computer science. $3 573171
650 4 $a Information science. $3 561178
650 4 $a Information technology. $3 559429
653 $a Dynamic analysis
653 $a Fingerprinting
653 $a PHI
653 $a Security
653 $a Static analysis
653 $a Taint analysis
655 7 $a Electronic books. $2 local $3 554714
690 $a 0984
690 $a 0723
690 $a 0489
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a New Jersey Institute of Technology. $b Department of Computer Science. $3 1468489
773 0 $t Dissertations Abstracts International $g 85-04B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30244137 $z click for full text (PQDT)