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
biblio
Mapping to Bits: Efficiently Detecting Type Confusion Errors
Submitted by grigby1 on Thu, 09/26/2019 - 10:23am
collaboration
downcasting
Human behavior
Human Factors
Metrics
policy-based governance
pubcrawl
resilience
Resiliency
Safe Coding
Safe Encoding Scheme
type confusion
typecasting
biblio
Safe Cryptography for All: Towards Visual Metaphor Driven Cryptography Building Blocks
Submitted by grigby1 on Fri, 02/08/2019 - 4:12pm
APIs
Compositionality
Cryptography
developer support
pubcrawl
resilience
Resiliency
Safe Coding
secure code
visual metaphor
biblio
Compiler-Assisted Test Acceleration on GPUs for Embedded Software
Submitted by grigby1 on Wed, 05/09/2018 - 2:57pm
Automated Testing
collaboration
compilers
embedded software
Functional testing
GPUs
Human Factors
Metrics
policy-based governance
Policy-Governed Secure Collaboration
pubcrawl
resilience
Resiliency
Safe Coding
biblio
The Case for Writing a Kernel in Rust
Submitted by grigby1 on Wed, 05/09/2018 - 2:57pm
collaboration
Human Factors
Metrics
policy-based governance
Policy-Governed Secure Collaboration
pubcrawl
resilience
Resiliency
Safe Coding
biblio
Type-Safe Modular Parsing
Submitted by grigby1 on Wed, 05/09/2018 - 2:57pm
collaboration
Human Factors
Metrics
modular parsing
Object Algebras
policy-based governance
Policy-Governed Secure Collaboration
pubcrawl
resilience
Resiliency
Safe Coding
semantic modularity
biblio
Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity
Submitted by grigby1 on Wed, 05/09/2018 - 2:57pm
software errors
real-time systems
resilience
Resiliency
Safe Coding
safe diversity approach
safety-critical real-time systems
safety-critical software
security
security of data
real-time processes
software vulnerabilities
static WCET analysis
timing
timing guarantees
timing properties
unacceptable performance overheads
WCET
WCET-aware artificial diversity
worst case execution time
Layout
artificial software diversity
block-level diversity
code-reuse attacks
collaboration
cyber-physical systems
embedded systems
hardware resources
Human Factors
individual probability
Artificial Diversity
Metrics
movable instruction sequences
policy-based governance
Policy-Governed Secure Collaboration
probability
pubcrawl
real-time
real-time cyber-physical systems
biblio
Power Grid Safety Control via Fine-Grained Multi-Persona Programmable Logic Controllers
Submitted by grigby1 on Wed, 05/09/2018 - 2:56pm
collaboration
Human Factors
Metrics
Monitoring
policy-based governance
Policy-Governed Secure Collaboration
power grids
Power system dynamics
pubcrawl
resilience
Resiliency
Safe Coding
Safety
security
Substations
biblio
Hiding the Long Latency of Persist Barriers Using Speculative Execution
Submitted by grigby1 on Wed, 05/09/2018 - 2:56pm
resilience
nonvolatile memory technology
NVMM
pcommit
performance bottleneck
performance overhead
persist barriers
persistence instructions
policy-based governance
Policy-Governed Secure Collaboration
pubcrawl
Random access memory
random-access storage
Nonvolatile memory
Resiliency
Safe Coding
Safety
significant execution time overhead
Software
speculative execution
Speculative Persistence
speculative persistence architecture
storage management
substantial performance boost
volatile caches
fail-safe code
checkpoint-based processing
checkpointing
clflushopt
clwb
collaboration
common data structures
consistent state
data structures
DRAM
DRAM chips
expensive fence operations
cache storage
Failure Safety
file system
Force
Human Factors
logging based transactions
long latency persistency operations
Metrics
modern systems reorder memory operations
non-volatile main memory
nonpersistent implementations
NonVolatile Main Memory
biblio
M4GB: An Efficient Gröbner-Basis Algorithm
Submitted by grigby1 on Wed, 05/09/2018 - 2:56pm
collaboration
Grobner basis algorithm
Human Factors
Metrics
multivariate polynomial systems
policy-based governance
Policy-Governed Secure Collaboration
pubcrawl
quantum-safe public key crypto
resilience
Resiliency
Safe Coding
biblio
Expressive and Strongly Type-Safe Code Generation
Submitted by grigby1 on Wed, 05/09/2018 - 2:56pm
collaboration
Dependent types
Human Factors
meta-programming
Metrics
policy-based governance
Policy-Governed Secure Collaboration
pubcrawl
resilience
Resiliency
Safe Coding
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »
