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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Runtime
biblio
Countermeasures Optimization in Multiple Fault-Injection Context
Submitted by grigby1 on Thu, 09/30/2021 - 11:55am
multiple fault diagnosis
tools
Software
Semantics
security
Runtime
Resiliency
resilience
pubcrawl
multiple fault-injection
Benchmark testing
Metrics
Human Factors
Human behavior
Hardware
dynamic-symbolic execution
cyber physical systems
counter-measures optimization
code analysis
biblio
Basic Block Encoding Based Run-Time CFI Check for Embedded Software
Submitted by grigby1 on Thu, 09/16/2021 - 1:02pm
Aerospace electronics
composability
Human behavior
Human Factors
Payloads
Pipelines
process control
programming
pubcrawl
resilience
Resiliency
return oriented programming
Runtime
Scalability
Very large scale integration
biblio
Formal Online Resiliency Monitoring in Microgrids
Submitted by grigby1 on Thu, 09/16/2021 - 10:52am
distributed control
false-data injection attack
Measurement
metric temporal logic
microgrid
Microgrids
Monitoring
Protocols
pubcrawl
resilience
Resiliency
Runtime
Voltage control
biblio
RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization
Submitted by grigby1 on Tue, 07/27/2021 - 11:31am
Computer bugs
fuzzing
Instruments
Libraries
pubcrawl
resilience
Resiliency
Runtime
Scalability
security
Security by Default
tools
biblio
Research on Dynamic Detection Method of Buffer Overflow Vulnerabilities Based on Complete Boundary Test
Submitted by aekwall on Tue, 05/18/2021 - 2:19pm
Internet of Things
programming
Runtime
Buffer overflows
Resiliency
Human behavior
pubcrawl
Metrics
Software systems
vulnerability detection
dynamic programming
Compositionality
dynamic detection
Information filters
boundary test
buffer overflow
biblio
LAPE: A Lightweight Attestation of Program Execution Scheme for Bare-Metal Systems
Submitted by grigby1 on Thu, 05/13/2021 - 1:08pm
attestation
Attestation Compartments
Bare-Metal Systems
composability
Control Flow Attestation
Hardware
Human behavior
Instruments
performance evaluation
process control
Program processors
pubcrawl
resilience
Resiliency
Runtime
Systematics
biblio
LAHEL: Lightweight Attestation Hardening Embedded Devices using Macrocells
Submitted by grigby1 on Thu, 05/13/2021 - 1:07pm
attestation
composability
computer architecture
Hardware
Human behavior
Macrocell networks
performance evaluation
pubcrawl
resilience
Resiliency
Runtime
security
Software
biblio
On Runtime Software Security of TrustZone-M Based IoT Devices
Submitted by aekwall on Mon, 05/03/2021 - 12:06pm
pubcrawl
TrustZone
software security
security
Scalability
Runtime
rop attacks
Resiliency
Random access memory
return oriented programming
Payloads
microcontroller
malware
Internet of Things
Human Factors
encoding
composability
biblio
Burn After Reading: A Shadow Stack with Microsecond-level Runtime Rerandomization for Protecting Return Addresses**Thanks to all the reviewers for their valuable comments. This research is supported by an Australian Research Council grant (DP180104069).
Submitted by aekwall on Mon, 05/03/2021 - 12:05pm
return oriented programming
Benchmark testing
Binary codes
composability
Control Flow Integrity
Human Factors
programming
pubcrawl
Resiliency
return-oriented programming
rop attacks
Runtime
Runtime Rerandomization
Scalability
shadow stack
biblio
Saffire: Context-sensitive Function Specialization against Code Reuse Attacks
Submitted by aekwall on Mon, 05/03/2021 - 12:05pm
Scalability
Runtime
Software
Resiliency
pubcrawl
composability
Libraries
Complexity theory
Human Factors
software reliability
Layout
return oriented programming
rop attacks
Transforms
return into libc
software debloating
1
2
3
4
5
6
7
8
9
next ›
last »
