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
programming
biblio
Malware Classification Using Recurrence Plots and Deep Neural Network
Submitted by grigby1 on Tue, 09/21/2021 - 3:56pm
pubcrawl
visualization
Transforms
transfer learning
Task Analysis
static analysis
Resiliency
resilience
Recurrence Plots
convolutional neural networks
programming
privacy
Metrics
malware classification
malware classication
malware
Human behavior
deep learning
biblio
Protocols Over Things: A Decentralized Programming Model for the Internet of Things
Submitted by grigby1 on Fri, 09/17/2021 - 10:46am
Metrics
Science of Security
Scalability
Resiliency
resilience
pubcrawl
Protocols
programming
policy-based governance
autonomous systems
Logistics
Internet of Things
Intelligent systems
Human behavior
Decision Making
Correlation
composability
collaboration
biblio
Basic Block Encoding Based Run-Time CFI Check for Embedded Software
Submitted by grigby1 on Thu, 09/16/2021 - 2: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
Control Flow Integrity in IoT Devices with Performance Counters and DWT
Submitted by grigby1 on Thu, 09/16/2021 - 2:02pm
Buffer overflows
composability
Hardware
Human behavior
Human Factors
microarchitecture
performance evaluation
Program processors
programming
pubcrawl
resilience
Resiliency
return oriented programming
Scalability
Software
biblio
A Method of ROP Decentralized Layout
Submitted by grigby1 on Thu, 09/16/2021 - 2:02pm
pubcrawl
Symbolic Execution
security
Scalability
ROP chain
return oriented programming
Resiliency
resilience
Registers
Aerospace electronics
programming
operating systems
Layout
Human Factors
Human behavior
Fragmented layout
Data execution protection
composability
biblio
Research on Computer Software Engineering Database Programming Technology Based on Virtualization Cloud Platform
Submitted by grigby1 on Tue, 08/31/2021 - 11:05am
pubcrawl
Virtualized cloud platform
Virtualization
software engineering
Software
Servers
Resiliency
resilience
relational database security
Cloud Computing
programming
Metrics
Human behavior
encryption
Database programming
data centers
Computers
composability
biblio
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs
Submitted by aekwall on Tue, 06/01/2021 - 1:20pm
programming
security
pubcrawl
composability
software engineering
Lattices
Writing
Semantics
Compositionality
Information Flow Control
Concurrent computing
concurrent
Generalization
non-interference
Programming Language
sequential
biblio
Research on Dynamic Detection Method of Buffer Overflow Vulnerabilities Based on Complete Boundary Test
Submitted by aekwall on Tue, 05/18/2021 - 3: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
Code-based Analysis Approach to Detect and Prevent SQL Injection Attacks
Submitted by grigby1 on Wed, 05/05/2021 - 12:43pm
programming
tools
Structured Query Language
SQL Injection attacks
SQL injection
security
Safe Coding
Resiliency
resilience
pubcrawl
collaboration
policy-based governance
Metrics
Input clustering
Human Factors
Human behavior
encoding
Databases
Complex Number System
biblio
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Complexity theory
deep reinforcement learning
contract-based design
scalable verification
verification
Compositionality
Predictive Metrics
Neural networks
Scalability
Safety
contracts
Artificial Neural Networks
cyber-physical systems
Robustness
pubcrawl
Resiliency
programming
1
2
3
4
5
6
next ›
last »
