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
Program Synthesis
biblio
Block Oriented Programming: Automating Data-Only Attacks
Submitted by grigby1 on Fri, 02/08/2019 - 4:31pm
attack surface
Binary Analysis
block oriented programming
data only attacks
exploitation
Metrics
Program Synthesis
pubcrawl
resilience
Resiliency
Scalability
Security Heuristics
biblio
Synthesis of Probabilistic Privacy Enforcement
Submitted by grigby1 on Wed, 09/05/2018 - 10:45am
Bayesian inference
Control Theory
Human behavior
human factor
privacy
Privacy Enforcement
Program Synthesis
pubcrawl
resilience
Resiliency
Scalability
biblio
Transforming Spreadsheet Data Types Using Examples
Submitted by grigby1 on Tue, 03/07/2017 - 1:53pm
Noisy Examples
Probabilistic Synthesis
Program Synthesis
Programming By Examples
pubcrawl170201
Spreadsheet Programming
