Checking App Behavior Against App Descriptions

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=RjnjK1EdLwM


Duration: 1:05:47
142 views
3

How do we know a program does what it claims to do? After clustering mined Android apps by their description topics, we identify outliers in each cluster with respect to their API usage. A �weather� app that sends messages thus becomes an anomaly; likewise, a �messaging� app would not be expected to access the current location. Applied on a set of 22,000+ Android applications, our approach identified several anomalies, and classified known malware accurately with high precision and recall; with the help of upcoming test generators, we will identify anomalies in terms of dynamic API usage and information flow



Other Videos By Microsoft Research


2016-07-26Distributed Optimization via Alternating Direction Method of Multipliers
2016-07-26Role of symbolic execution in software testing, debugging and repair
2016-07-26Can You Hide in an Internet Panopticon?
2016-07-26Intersection of two passions
2016-07-26Analysis of Boolean Functions: advances and challenges
2016-07-26Two basic problems in finite stochastic optimization
2016-07-26Decision Learning: Learning with Strategic Decision Making
2016-07-26The CUBE: examples and research challenges in large scale interaction space
2016-07-26The Promises and Pitfalls of Demographic Inference in Social Media
2016-07-26Probabilistic Elastic Part Model: A Pose-Invariant Representation for Real-world Face Recognition
2016-07-26Checking App Behavior Against App Descriptions
2016-07-26Scalable learning of Bayesian network classifiers
2016-07-26Everything you always wanted to know about web-based device fingerprinting (but were afraid to ask)
2016-07-26Making Reusable Hardware Design IPs Usable: an NoC perspective
2016-07-26Lessons from Megaprojects: The Creators and Destroyers of Capital
2016-07-26Unsupervised Transcription of Historical Documents
2016-07-26Online Learning and Adaptation Over Networks
2016-07-26Easy Generation and Efficient Verification of Unsatisfiability Proofs
2016-07-26Learning to Understand Natural Language in Physically-Grounded Environments
2016-07-26Frontiers of Accessibility: From the Body to the Mind, the Heart, and the Soul
2016-07-26Analyzing neurological disorders using functional and structural brain imaging data


Tags:
microsoft research