Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks.

Sydur Rahaman Iulian Neamtiu Xin Yin

Published in: ESEC/SIGSOFT FSE (2021)

Keyphrases

information flow
visual tracking
particle filtering
particle filter
security policies
appearance model
real time
mobile devices
kalman filter
leak detection
malware detection
moving target
smart phones
motion segmentation
object tracking
mean shift
operating system
control system
image sequences