Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
SoS Lablet Reports
CPS-VO
»
SoS Archives
»
SoS Lablet Reports
» JULY'16
July'16
biblio
Do or Do Not, There Is No Try: User Engagement May Not Improve Security Outcomes
Submitted by Jamie Presken on Thu, 12/08/2016 - 8:43am
CMU
July'16
CMU
July'16
biblio
A comparison of 10 sampling algorithms for configurable systems
Submitted by Jamie Presken on Thu, 12/08/2016 - 8:02am
CMU
July'16
CMU
July'16
biblio
Toward a framework for detecting privacy policy violations in android application code
Submitted by Jamie Presken on Wed, 12/07/2016 - 2:45pm
Android applications
CMU
July'16
Privacy Policies
Violation Detection
CMU
July'16
biblio
Risk Compensation in Home-User Computer Security Behavior: A Mixed-Methods Exploratory Study
Submitted by Jamie Presken on Wed, 12/07/2016 - 8:52am
CMU
July'16
security; usable security; risk homeostasis theory; risk compensation
CMU
July'16
biblio
Inter-app Communication in Android: Developer Challenges
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:08am
CMU
July'16
CMU
July'16
biblio
Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:00am
CMU
July'16
CMU
July'16
biblio
Behavior Ever Follows Intention? A Validation of the Security Behavior Intentions Scale (SeBIS)
Submitted by Jamie Presken on Tue, 12/06/2016 - 9:31am
CMU
July'16
Security behavior; measurement; user studies
CMU
July'16
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
biblio
Exploring Language Support for Immutability
Submitted by Jamie Presken on Tue, 12/06/2016 - 9:06am
CMU
Empirical studies of programmers
Immutability
July'16
Mutability
Programmer productivity
Programming language design
Programming language usability
CMU
July'16
biblio
Sequence Diagram Aided Privacy Policy Specification
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:36am
CMU
formal verification
HIPAA
July'16
Privacy Policy
sequence diagram
Temporal Logic
CMU
July'16
1
2
3
4
5
next ›
last »