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
Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware
Submitted by
aekwall
on Mon, 10/14/2019 - 10:20am
architecture
Benchmark testing
CFI
commodity hardware
composability
computer architecture
Hardware
Human behavior
layers
LBR
lightweight security techniques
microarchitectural units
microarchitecture
multilayer protection approach
multilayer ROP protection
multilayer system
Nonhomogeneous media
Program processors
pubcrawl
RAS
Resiliency
return oriented programming
Return-oriented Programming attacks
ROP
Runtime
Scalability
security of data
Web browsers
biblio
Compiler-Assisted Code Randomization
Submitted by
aekwall
on Mon, 10/14/2019 - 10:20am
security of data
Scalability
Hardware
Runtime
security
Software
Resiliency
Human behavior
pubcrawl
composability
Robustness
metadata
software engineering
Prototypes
address space layout randomization
return-oriented programming
return oriented programming
applied code transformation
CCR
code randomization
code uniformity
compiler level protection
compiler-assisted code randomization
compiler-rewriter cooperation
fine-grained code randomization
fine-grained code transformation
LLVM compiler toolchain
program compilers
randomized variants
software distribution models
software distribution norms
software diversification
transformation-assisting metadata
biblio
AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems: A Traffic Collision Avoidance System Implementation
Submitted by
grigby1
on Mon, 08/26/2019 - 11:06am
air traffic control
Aircraft
automobiles
Brakes
collision avoidance
Collision Avoidance System
Compositionality
CPS
Cyber Dependencies
Cyber Physical System
cyber-physical systems
embedded systems
functional dependencies
Functional Dependency
Human behavior
Human Factors
Metrics
powerful communication networks
pubcrawl
resilience
Resiliency
road traffic
Runtime
runtime behavior
Scalability
Simulator
traffic collision avoidance system implementation
Transponders
undesired functional interaction
unforeseen runtime behavior
biblio
SEnSE – An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
architecture
authorization
automobiles
cloud application
communication protocol
composability
contract-based development
cyber-physical systems
cyberphysical system
dynamic system
Embedded System
embedded systems
Metrics
performance evaluation
pubcrawl
recertification
Resiliency
Runtime
safe integration
safe interaction
Safety
safety-critical embedded systems
safety-critical software
secure and safe embedded
secure integration
security
SEnSE
trustcenter
biblio
Detection of SQL injection attacks by removing the parameter values of SQL query
Submitted by
aekwall
on Mon, 02/25/2019 - 11:39am
backend database
Computer crime
Conferences
confidential information
database
Databases
desktop web application
Human behavior
internet
Internet users
Metrics
mobile computing
mobile web applications
parameter values
policy-based-governance
privacy
pubcrawl
query processing
Resiliency
Runtime
SQL
SQL injection
SQL injection attack detection method
SQL injection attackers
SQL Injection attacks
SQL query
Structured Query Language
tools
web applications
web services
biblio
LUCON: Data Flow Control for Message-Based IoT Systems
Submitted by
grigby1
on Thu, 02/14/2019 - 11:20am
data privacy
Internet of Things
Temperature measurement
pubcrawl
Metrics
composability
sensors
computer network security
middleware
taint analysis
data flows
authorisation
private data
Access Control
Semantics
usage control
data flow control
data-centric security policy framework
distributed systems
Industrial Internet of Things
Information Flow Control
information leaks
IoT applications
LUCON policies
message routes
message-based IoT systems
personal information
policy enforcement
process control
real-world IoT middleware
Runtime
usage control mechanisms
biblio
LiteHAX: Lightweight Hardware-Assisted Attestation of Program Execution
Submitted by
aekwall
on Wed, 02/13/2019 - 11:58am
attestation
composability
control-flow attacks
control-flow attestation schemes
data flow computing
data integrity
data-flow events
data-oriented programming
DOP attacks
embedded Internet of Things devices
embedded systems
hardware-assisted remote attestation scheme
Human behavior
Internet of Things
lightweight hardware-assisted attestation of program execution
LiteHAX
malicious modification
malware
Program processors
programming
pubcrawl
RA
reduced instruction set computing
remote device integrity
Resiliency
RISC-based embedded devices
RISC-V system-on-chip
Runtime
runtime attestation
security
security of data
security service
SoC
software binaries
system-on-chip
Trusted Computing
biblio
Program-flow attestation of IoT systems software
Submitted by
aekwall
on Wed, 02/13/2019 - 11:58am
application program flow
attestation
composability
data integrity
device integrity measurement
distributed processing
Dual Attestation
dynamic
dynamic attestation technique
Hardware
hardware devices
Human behavior
impractical constraints
Internet of Things
IoT
IoT systems software
malware
Memory management
Program-Flow
program-flow attestation
programming
pubcrawl
Remote Attestation
remote software-based attestation mechanisms
Resiliency
Runtime
security
security of data
software modification
static
static attestation phase
TrustZone
biblio
Detecting Cryptomining Using Dynamic Analysis
Submitted by
grigby1
on Mon, 11/19/2018 - 12:15pm
Browsers
computer security
cryptocurrency
cryptojacking
Human behavior
invasive software
malware
Metrics
pubcrawl
resilience
Resiliency
Runtime
standards
biblio
SIN2: Stealth infection on neural network \#x2014; A low-cost agile neural Trojan attack methodology
Submitted by
grigby1
on Fri, 07/06/2018 - 2:06pm
AI Poisoning
artificial intelligence industry
Cloud Computing
Computational modeling
Deep Neural Network
DNN security
dynamic runtime system
Human behavior
intelligent service supply chain
intelligent supply chain
Intelligent systems
invasive software
learning (artificial intelligence)
low-cost agile neural Trojan attack methodology
low-cost modular methodology-stealth infection on neural network
neural computing framework
neural nets
Neural networks
Payloads
portable DNN computing engine
pubcrawl
resilience
Resiliency
Runtime
Scalability
security
SIN2
software algorithm level
static neural network model
third-party cloud based machine learning as a service
Trojan horses
1
2
3
4
next ›
last »
