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
type safety
biblio
TypeSan: Practical Type Confusion Detection
Submitted by grigby1 on Tue, 05/30/2017 - 12:49pm
composability
downcasting
Metrics
object oriented security
pubcrawl
Resiliency
type confusion
type safety
typecasting
biblio
Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis
Submitted by grigby1 on Wed, 05/17/2017 - 1:48pm
Communication safety
composability
Concurrent Go
deadlock freedom
graph theory
Human behavior
Malware Analysis
pubcrawl
Resiliency
Session types
static analysis
static code analysis
synthesis
type safety
biblio
Ethos' Deeply Integrated Distributed Types
Submitted by BrandonB on Tue, 05/05/2015 - 9:55am
Robustness
type system
type safety
type constraints
Trusted Computing
Semantics
security-sensitive bugs
security
safety-critical software
Safety
runtime-agnostic Ethos
Runtime
deeply integrated distributed types
Protocols
programming languages
program debugging
operating systems (computers)
operating system approach
operating system
multilingual Ethos
Language-theoretic security
language runtime
Kernel
Ethos operating system
file
An Overview of an ACL2 Prototype C Integer Type Safety Verification Tool
Submitted by jimaf on Sat, 04/26/2014 - 7:22am. Contributors:
Kevin Krause
Jim Alves-Foss
Abstract
C
type safety
University of Idaho
verification
National HCSS Conference 2014
Academia
Poster
HCSS'14
HCSS'14: Poster Session
