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
memory safety
biblio
Security Support on Memory Controller for Heap Memory Safety
Submitted by grigby1 on Wed, 08/23/2023 - 3:35pm
pubcrawl
Safety
Scalability
privacy
metadata
Random access memory
statistical analysis
i-o systems security
Pollution
memory safety
Blacklisting Defense
electromagnetic compatibility
Memory Controller
memory corruption attacks
biblio
Automatic Integration of D Code With the Linux Kernel
Submitted by grigby1 on Mon, 03/14/2022 - 12:23pm
memory safety
Linux kernel
D programming language
automatic integration
codes
device drivers
Syntactics
Metrics
Policy Based Governance
Safe Coding
tools
Computer languages
Linux
Memory management
Safety
Resiliency
resilience
Human Factors
Human behavior
pubcrawl
biblio
Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing
Submitted by grigby1 on Mon, 03/14/2022 - 12:22pm
operating systems
Virtual Prototype
RIOT
memory safety
embedded software
concolic testing
Checked C
codes
RISC-V
Writing
software reliability
pubcrawl
Metrics
Policy Based Governance
Safe Coding
Computer bugs
Runtime
Safety
Resiliency
resilience
Human Factors
Human behavior
biblio
BackFlow: Backward Edge Control Flow Enforcement for Low End ARM Microcontrollers
Submitted by aekwall on Mon, 03/15/2021 - 12:08pm
program compilers
STM32 NUCLEO F446RE microcontroller
memory safety
memory corruptions
low-end ARM Cortex-M microprocessors
compiler-based toolchain
Clang/LLVM compiler
Cats
backward edge control flow integrity
BackFlow
ARM instruction set
Europe
compiler security
compiler
Safety
Instruction sets
CFI
Compositionality
storage management
Benchmark testing
program diagnostics
microcontrollers
computer security
automation
Metrics
pubcrawl
Resiliency
Scalability
biblio
SafeCheck: Safety Enhancement of Java Unsafe API
Submitted by grigby1 on Fri, 03/27/2020 - 11:29am
Resiliency
memory safety
Metrics
openJDK bug system
policy-based governance
program debugging
Programming Language
pubcrawl
resilience
Memory Protection
Runtime
Safe Coding
Safety
safety enhancement
security of data
storage management
tools
unsafe crash patterns
Java core library
bytecode
bytecode verification
collaboration
Computer bugs
dynamic analysis
Human behavior
Human Factors
Java
application program interfaces
Java runtime
Java unsafe API
JVM crash
Libraries
low- level system code
Memoey Safety
memory checker
biblio
Intel MPX Explained: A Cross-Layer Analysis of the Intel MPX System Stack
Submitted by grigby1 on Mon, 08/26/2019 - 11:09am
composability
Cross Layer Security
intel mpx
isa extensions
memory safety
pubcrawl
resilience
Resiliency
biblio
Control-Flow Hijacking: Are We Making Progress?
Submitted by grigby1 on Mon, 12/10/2018 - 11:26am
resilience
pubcrawl
Human behavior
Resiliency
Scalability
composability
Human Factors
return oriented programming
return-oriented programming
control-flow hijacking
control-flow integrity
memory safety
biblio
DataShield: Configurable Data Confidentiality and Integrity
Submitted by grigby1 on Wed, 01/10/2018 - 12:18pm
memory safety
software security
pubcrawl
Resiliency
composability
runtime monitors
compiler security
biblio
Heap Bounds Protection with Low Fat Pointers
Submitted by K_Hooper on Fri, 10/13/2017 - 10:33am
Buffer overflows
low-fat pointers
memory safety
Metrics
pubcrawl
Resiliency
scalabilty
Securing Compilers
