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
program diagnostics
biblio
FIoT: Detecting the Memory Corruption in Lightweight IoT Device Firmware
Submitted by
aekwall
on Mon, 01/20/2020 - 11:13am
computer network security
Scalability
Internet of Things
security
performance evaluation
system monitoring
Resiliency
pubcrawl
policy-based governance
program testing
Libraries
static analysis
firmware
program diagnostics
Human Factors
operating systems (computers)
program compilers
Loading
lightweight IoT devices
address determination analysis
backward slice approach
binary code snippets
Binary codes
binary firmware
CFG recovery approach
dynamic analysis framework
dynamic analysis techniques
embedded firmware source code
FIoT framework
firmware analysis
firmware images
fuzzing
fuzzing test
hardware architectures
IoT device operating systems
IoT industry
library function identification approach
lightweight IoT device firmware images
lightweight IoT firmware
memory corruption
memory corruption vulnerabilities
Microprogramming
Program slicing
security researchers
time 170.0 s
time 210.0 s
time 40.0 s
zero trust
biblio
UFO: Predictive Concurrency Use-After-Free Detection
Submitted by
grigby1
on Tue, 12/17/2019 - 11:21am
security of data
tools
resilience
pubcrawl
Metrics
Resiliency
composability
scheduling
Browsers
program debugging
Instruction sets
encoding
cyber-physical systems
cyber-physical system
program diagnostics
Concurrent computing
Chromium
common attack vectors
Concurrency
concurrency UAF
concurrency use-after-free detection
concurrent programs
critical software systems
extended maximal thread causality model
larger thread scheduling space
multi-threading
multithreaded execution trace
program operating
provably higher detection capability
rare thread schedules
Schedules
single observed execution trace
UAF
UAF detection
UAF vulnerabilities
UFO
UFO scales
use-after-free vulnerabilities
vulnerabilities
Predictive Metrics
biblio
Formally Verified Cryptographic Web Applications in WebAssembly
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
authoring languages
Browsers
CoMP
compilation pipeline
compiler
compiler security
Compositionality
cryptographic code
Cryptographic Protocols
cryptographic-library
cryptographic-protocol-verification
Cryptography
formal verification
high-assurance cryptographic libraries
high-profile attacks
instruction set
Java
JavaScript runtimes
Libraries
low-level subset
Metrics
modern Web applications
program compilers
program diagnostics
program verification
Protocols
pubcrawl
public domain software
Resiliency
Scalability
security-critical software
Servers
Signal
sophisticated custom cryptographic components
standard protocols
standards
toolchain
verification
verification techniques
verification-oriented programming languages
verified cryptographic Web applications
verified HACL cryptographic library
verified implementation
verified-software
web-security
Webassembly
WebAssembly compilers
WebAssembly version
whatsapp
biblio
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
Safety
security of data
Scalability
Resiliency
pubcrawl
Cryptography
Metrics
Libraries
program diagnostics
program verification
Writing
Space exploration
Security Properties
Compositionality
program compilers
secure code
source program
adversarial contexts
arbitrary adversarial contexts
compiled program
Computer languages
equivalent property-free
formal secure compilation criteria
full abstraction
fully abstract compilation chain
good programming languages
hyperproperties
linked adversarial code
linked adversarial target code
linked source code
linked target code
liveness
low-level target language
multiple programs
noninterference
property classes
relational hyperproperties
relational properties
robust preservation
robust property preservation
secure compilation
secure compilation chain
Secure interoperability
secure linking
Security Foundations
source language
source-level abstraction
strictly stronger security guarantees
supported security goals
trace properties
compiler security
biblio
SoK: Shining Light on Shadow Stacks
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
security of data
Scalability
security
Software
Resiliency
pubcrawl
Metrics
optimization
metadata
program diagnostics
Payloads
Compositionality
Registers
program compilers
defense mechanisms
backward edge
C++ languages
CFI mitigations
compatibility
compiler designers
control-flow hijacking attacks
control-flow integrity solutions
control-flow-hijacking
control-flow-integrity
deployed mitigations
dominant attack vector
forward edge
fully precise mechanism
indirect calls
language-based-security
low performance overhead
Memory Protection
performance comparisons
return-oriented-programming
shadow stack design
shadow stacks
shadow-stacks
software security mitigations
virtual calls
compiler security
biblio
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers
Submitted by
grigby1
on Tue, 11/26/2019 - 2:35pm
resilience
Monitoring
pubcrawl
Human behavior
Resiliency
Scalability
Human Factors
Kernel
Linux
Instruments
program diagnostics
Runtime
human factor
concurrency control
Concurrent computing
data race
device driver
device drivers
DILP
driver execution
inconsistent lock protection
Linux driver patches
runtime analysis
runtime analysis approach
pattern locks
biblio
IoT Data Management and Lineage Traceability: A Blockchain-based Solution
Submitted by
aekwall
on Mon, 11/25/2019 - 1:12pm
Cloud Computing
Servers
authorization
Cryptography
data privacy
Internet of Things
data integrity
Internet of Things (IoT)
Trusted Computing
Resiliency
pubcrawl
composability
privacy
Metrics
blockchain
Distributed databases
smart contracts
security threats
program diagnostics
unauthorized access
data provenance
Privacy Threats
blockchain-based data management
data management
edge clouds
fog nodes
interoperability
IoT data management
lineage traceability
open systems
untrusted IoT devices
Outsourced Database Integrity
biblio
Detecting Buffer-Overflow Vulnerabilities in Smart Grid Devices via Automatic Static Analysis
Submitted by
grigby1
on Tue, 11/19/2019 - 2:41pm
Analytical models
automatic static analysis
buffer-overflow vulnerabilities
buffer-overflow vulnerability detection
composability
Computer bugs
device program information
error reporting
feature extraction
Metrics
modern power transmission network
power engineering computing
power grid vulnerability analysis
power system
power system security
predefined vulnerability patterns
program diagnostics
pubcrawl
resilience
Resiliency
Safety
security of data
security threats
smart grid devices
Smart Grids
smart meters
smart power grids
smart terminals
static analysis
Syntactics
terminal devices
terminal security
vulnerability detection
biblio
Hardware-Based Adversary-Controlled States Tracking
Submitted by
aekwall
on Mon, 10/14/2019 - 9:20am
classic dynamic taint analysis method
code-reuse attack
composability
control flow
dynimic taint analysis
Hardware
Hardware-based Adversary-controlled States
HAST
Human behavior
Linux
Linux applications
memory data
memory vulnerabilities
Pipelines
program diagnostics
programming
pubcrawl
Registers
Resiliency
return oriented programming
rop attacks
Scalability
security of data
Software
software security challenges
target tracking
biblio
Locating SQL Injection Vulnerabilities in Java Byte Code Using Natural Language Techniques
Submitted by
grigby1
on Thu, 09/26/2019 - 9:25am
code analysis
code analysis tools
collaboration
Decision trees
Human behavior
Human Factors
Java
Java byte code
Java program
Metrics
natural language processing
natural language techniques
policy-based governance
program diagnostics
pubcrawl
Python
resilience
Resiliency
Safe Coding
Secure Coding
security
security of data
singular decision trees
Software
software vulnerabilities
source code (software)
SQL
SQL injection
SQL injection vulnerabilities
standards
Text Mining
tools
1
2
3
4
5
next ›
last »
