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
safe coding standards
biblio
Developing Secure SGX Enclaves: New Challenges on the Horizon
Submitted by grigby1 on Mon, 05/22/2017 - 12:59pm
buffer overflow
collaboration
Human Factors
Intel SGX
low-level vulnerability
Metrics
pubcrawl
Resiliency
safe coding standards
biblio
Engineering the Servo Web Browser Engine Using Rust
Submitted by grigby1 on Mon, 05/22/2017 - 12:59pm
browser engine
collaboration
Concurrency
Human Factors
Metrics
parallelism
pubcrawl
Resiliency
Rust
safe coding standards
servo
biblio
On-Demand Biometrics: Fast Cross-Device Authentication
Submitted by grigby1 on Mon, 05/22/2017 - 12:58pm
biometric authentication
collaboration
cross-device authentication
fingerprint scanning
Human Factors
login
Metrics
mobile interaction
pubcrawl
Resiliency
safe coding standards
touch ID
biblio
Closing the Barn Door: Re-Prioritizing Safety, Security, and Reliability
Submitted by grigby1 on Mon, 05/22/2017 - 12:58pm
collaboration
education
Human Factors
Metrics
Modula-2
pubcrawl
Reliability
Resiliency
safe coding standards
Safety
security
software engineering
biblio
Optimal Sanitization Synthesis for Web Application Vulnerability Repair
Submitted by grigby1 on Mon, 05/22/2017 - 12:58pm
automata
collaboration
Human Factors
Metrics
pubcrawl
Resiliency
safe coding standards
Sanitization Synthesis
string analysis
biblio
Modules in Wyvern: Advanced Control over Security and Privacy
Submitted by grigby1 on Mon, 05/22/2017 - 12:58pm
authority
capabilities
collaboration
Human Factors
language-based security
Metrics
modules
pubcrawl
Resiliency
safe coding standards
Security by Default
biblio
Finally, Safely-extensible and Efficient Language-integrated Query
Submitted by grigby1 on Mon, 05/22/2017 - 12:58pm
collaboration
Compositionality
Computing Theory
EDSL
Human Factors
language-integrated query
LINQ
Metrics
pubcrawl
relational database security
Resiliency
safe coding standards
SQL
tagless-final
biblio
CASE: Comprehensive Application Security Enforcement on COTS Mobile Devices
Submitted by grigby1 on Mon, 05/22/2017 - 12:58pm
collaboration
concealed handler
dual-layer interception
Human Factors
Metrics
module-level security
native-safe pages
pubcrawl
Resiliency
safe coding standards
biblio
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency
Submitted by grigby1 on Mon, 05/22/2017 - 12:58pm
channel coding
collaboration
consistency
distributed systems
Human Factors
Information Flow
language-based security
Metrics
pubcrawl
Resiliency
safe coding standards
security
serializability
transactions
