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
» JAN'17
Jan'17
biblio
SigPID: Significant Permission Identification for Android Malware Detection
Submitted by Jamie Presken on Thu, 12/08/2016 - 9:07am
CMU
Jan'17
CMU
Jan'17
biblio
DroidClassifier: Efficient Adaptive Mining of Application-Layer Header for Classifying Android Malware
Submitted by Jamie Presken on Thu, 12/08/2016 - 9:02am
Android Malware Detection
CMU
HTTP Network Traffic
Jan'17
Malware Clas- sification
Mobile Security
CMU
Jan'17
biblio
RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races
Submitted by Jamie Presken on Thu, 12/08/2016 - 8:56am
CMU
Jan'17
CMU
Jan'17
biblio
How to break an API: cost negotiation and community values in three software ecosystems
Submitted by Jamie Presken on Thu, 12/08/2016 - 8:22am
CMU
collaboration
Dependency management
Jan'17
Qualitative research
semantic versioning
Software ecosystems
CMU
Jan'17
biblio
Improving Security Requirements Adequacy An Interval Type 2 Fuzzy Logic Security Assessment System
Submitted by Jamie Presken on Thu, 12/08/2016 - 7:20am
CMU
Fuzzy logic
Jan'17
recommender system
scenarios
security requirements
type-2
uncertainty
user study
vignettes
CMU
Jan'17
biblio
Lexical Similarity of Information Type Hypernyms, Meronyms and Synonyms in Privacy Policies
Submitted by Jamie Presken on Wed, 12/07/2016 - 1:08pm
CMU
Jan'17
CMU
Jan'17
biblio
Privacy Risk in Cybersecurity Data Sharing
Submitted by Jamie Presken on Wed, 12/07/2016 - 1:01pm
CMU
Cybersecurity data sharing; risk perception; data usage; personal privacy
Jan'17
CMU
Jan'17
biblio
Programmable semantic fragments: the design and implementation of typy
Submitted by Jamie Presken on Wed, 12/07/2016 - 12:07pm
bidirectional typechecking
CMU
foreign function interfaces
Jan'17
metaprogramming
pattern matching
CMU
Jan'17
biblio
Architecture Modeling and Analysis of Security in Android Systems
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:50am
CMU
Jan'17
CMU
Jan'17
biblio
Titanium: Efficient Analysis of Evolving Alloy Specifications
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:39am
CMU
Evolving Software
formal verification
Jan'17
Oct'16
Partial Models
Relational Logic
CMU
Jan'17
« first
‹ previous
1
2
3
4
5
6
next ›
last »