Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
android
file
Bagheri_COVERT_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 1:26pm
android
CMU
formal verification
Inter-App vulnerabilities
Jan'16
static analysis
biblio
Reducing Combinatorics in GUI Testing of Android Applications
Submitted by Jamie Presken on Tue, 12/06/2016 - 9:14am
android
CMU
Input Generation
July'16
Software Testing
CMU
July'16
file
Mirzaei_Reducing_Combos.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 9:14am
android
CMU
Input Generation
July'16
Software Testing
file
Mirzaei_SIGDroid.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 9:10am
android
Automated Testing
CMU
Input Generation
Jan'16
file
Ahmad_Enforcing_Fine_Grain_CK.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 7:51am
android
app
app store
CMU
Ecosystem
fine-grained policies
home automation
Internet of Things
Oct'15
privacy
security
biblio
COVERT: Compositional Analysis of Android Inter-App Permission Leakage
Submitted by Jamie Presken on Mon, 02/15/2016 - 12:00pm
android
CMU
formal verification
Inter-App vulnerabilities
Jan'16
static analysis
CMU
Jan'16
biblio
SIG-Droid: Automated System Input Generation for Android Applications
Submitted by Jamie Presken on Mon, 02/15/2016 - 11:54am
android
Automated Testing
CMU
Input Generation
Jan'16
CMU
Jan'16
biblio
Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem
Submitted by Jamie Presken on Mon, 02/15/2016 - 11:22am
android
app
app store
CMU
Ecosystem
fine-grained policies
home automation
Internet of Things
Oct'15
privacy
security
CMU
Oct'15
file
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover
Submitted by akarns on Tue, 01/26/2016 - 2:52pm. Contributors:
Eric W. Smith
Alessandro Coglio
Presented as part of the
2016 HCSS conference
.
ABSTRACT
Modeling
Validation and Verification
Foundations
ACL2
android
Android formal model
app verification
mobile app verification
High Confidence Software and Systems Conference 2016
Research Organization
Presentation
HCSS 2016
biblio
Security Metrics for the Android Ecosystem
Submitted by AdamT on Tue, 10/13/2015 - 7:24pm
Metrics
Mobility
android
Android security
« first
‹ previous
…
4
5
6
7
8
9
10
11
12
next ›
last »
