C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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