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
CMU
biblio
Building the security behavior observatory: an infrastructure for long-term monitoring of client machines
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:57pm
CMU
July'14
CMU
July'14
file
Forget_Bldg_Sec_Behavior_Observatory_LC.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:57pm
CMU
July'14
file
Lamba_Model_Based_Approach_DC.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:49pm
Anomaly Detection
Apr'16
CMU
model-based graph clustering
file
Vasudevan_UberSpark_AD.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:42pm
CMU
Oct'16
biblio
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:42pm
CMU
Oct'16
CMU
Oct'16
file
Maass_Systematic_Analysis_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:33pm
CMU
Jan'16
file
Bagheri_COVERT_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:26pm
android
CMU
formal verification
Inter-App vulnerabilities
Jan'16
static analysis
file
Abi-Antoun_Abstract_Runtime_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:21pm
Apr'16
CMU
object graphs; ownership type inference; graph query
file
Yuan_Mining_Software_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:16pm
Apr'16
CMU
Data mining
security
Software Architecture
file
Schmerl_Raindroid_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 2:07pm
Apr'16
CMU
security
Self-Adaptation
Software Architecture
« first
‹ previous
…
12
13
14
15
16
17
18
19
20
…
next ›
last »
