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
Libraries
biblio
Automated Synthesis of Differential Power Attack Resistant Integrated Circuits
Submitted by
aekwall
on Mon, 08/24/2020 - 12:41pm
private key cryptography
Resiliency
pubcrawl
composability
Cryptography
standards
tools
Libraries
Automated Response Actions
Logic gates
power consumption
Power demand
logic design
Hardware Security
Resistance
combinational circuits
Automated Synthesis
CMOS logic circuits
CMOS synthesis
combinational cells
cryptographic processors
cryptographic systems
differential circuit design
differential logic
Differential Power Analysis
differential power analysis attacks
differential power attack resistant integrated circuits
DPA attack resistance
DPA resistant cell designs
Dynamic Differential Logic
fully automated synthesis system DPA resistant integrated circuits
MDPL
multiplying circuits
RT level Verilog specifications
secret key information
Secure Differential Multiplexer Logic
sequential cells
sequential circuits
biblio
An Empirical Study on API-Misuse Bugs in Open-Source C Programs
Submitted by
grigby1
on Fri, 08/14/2020 - 11:44am
security of data
pubcrawl
resilience
Resiliency
Benchmark testing
Libraries
static analysis
program debugging
program diagnostics
APIs
application program interfaces
Computer bugs
security vulnerabilities
public domain software
Compositionality
Detectors
application programming interfaces
API misuse
API-misuse bugs
API-misuse detection
API-misuse detectors
APIMU4C
benchmark
bug detection
C code
C language
empirical study
fix patterns
Open Source Software
open-source C programs
static analysis detectors
usage statistics
application programming interface
biblio
A gateway to easily integrate simulation platforms for co-simulation of cyber-physical systems
Submitted by
grigby1
on Thu, 07/16/2020 - 11:56am
co-simulation
co-simulation expertise
communication libraries
composability
Computational modeling
computer architecture
CPS conceptual design
CPS modeling
cyber-physical systems
digital simulation
distributed processing
distributed simulation
functional mock-up interface
high level architecture
high-level architecture standard
interacting physical components
Java
Large-scale systems
Libraries
Logic gates
Metrics
National Institute of Standards and Technology co-simulation platform
NIST co-simulation platform
Object oriented modeling
pubcrawl
Research Infrastructure
resilience
Resiliency
simulations
Software Architecture
standards
Universal CPS Environment
biblio
Towards a TRansparent I/O Solution
Submitted by
aekwall
on Mon, 06/01/2020 - 10:49am
application behaviors
complex storage solutions
composability
cost reduction
custom code
data distribution
data lands
encryption
graph chain
In transit engine
in-transit processing
infrastructure level
infrastructure setup
infrastructure-related changes
Libraries
Logic gates
management code
metadata
middleware
middleware security
policy-based governance
preceding graph
pubcrawl
Regulated I/O
resilience
Resiliency
reusable components
security
security of data
Semantics
software reusability
source code
source code (software)
storage back-end
storage platforms
Strips
Transparent I/O
transparent I/O solution
Web service scenario security
web services
workload diversity
biblio
Extractive Persian Summarizer for News Websites
Submitted by
aekwall
on Mon, 05/18/2020 - 10:55am
automatic extractive text summarization
Data mining
English words
extractive Persian summarizer
extractive text summarization
feature extraction
feature vector
genetic algorithms
heuristic methods
heuristical and semantical
Human behavior
Libraries
natural language processing
Persian news articles
pre-processing
pubcrawl
Resiliency
salient features
salient sentences
Scalability
semantic methods
Semantics
sentence length
statistical
statistical methods
text analysis
textual information
tools
Web sites
biblio
Experience Report: How to Extract Security Protocols' Specifications from C Libraries
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
automatic tools
C libraries
C programming language
codelevel reverse engineering
composability
documentation
extract security protocols
formal model
Formal Specification
formal verification
human-dependent approach
Libraries
Metrics
object oriented security
object-oriented languages
object-oriented programming
Protocols
pubcrawl
resilience
Resiliency
reverse engineering
security
security of data
security protocol specifications
security protocols
Software
Task Analysis
tools
biblio
Using Safety Properties to Generate Vulnerability Patches
Submitted by
aekwall
on Mon, 04/20/2020 - 10:45am
Safety
security of data
security
Software
Resiliency
Human behavior
pubcrawl
composability
Metrics
tools
Libraries
security vulnerabilities
software maintenance
program diagnostics
program verification
relational databases
Engines
program debugging
relational database security
Automated-Program-Repair
automatic program repair methods
Buffer storage
Program-Analysis
property-based APR
safety property
safety-property
Software-Patch
Software-Vulnerability
source code patches
vulnerability-specific safety properties
biblio
Side Channel Attacks in Computation Offloading Systems with GPU Virtualization
Submitted by
grigby1
on Fri, 04/17/2020 - 10:23am
cloud
Cloud Computing
composability
computation offloading systems
computation performance
Cryptography
GPU systems
GPU vendors
GPU virtualization
graphics processing units
high-performance GPUs
Human behavior
Human Factors
intensive computation
Internet of Things
IoT
Kernel
learning (artificial intelligence)
Libraries
Metrics
mobile computing
mobile systems
operating system
privacy
pubcrawl
resilience
Resiliency
Runtime
side channel attack
side channel attacks
side-channel attacks
virtual machine
virtual machines
virtualisation
Virtualization
virtualization privacy
biblio
A Method of Conflict Detection for Security Policy Based on B+ Tree
Submitted by
grigby1
on Fri, 04/03/2020 - 12:04pm
B+ tree
B+ tree-based security policy conflict detection method
collaboration
Communication networks
computer network management
computer network security
conflict detection
detection algorithms
Indexes
Libraries
network management system
network security
Policy Based Governance
policy conflict
policy-based governance
Protocols
pubcrawl
Redundancy
security
security policy
tree data structures
trees (mathematics)
biblio
CAG: Compliance Adherence and Governance in Software Delivery Using Blockchain
Submitted by
grigby1
on Fri, 04/03/2020 - 12:04pm
auditing
blockchain
blockchain technologies
building software
client industry
collaboration
compliance adherence and governance
compliance specifications
contracts
copyright issues
Crowd Sourcing
cryptocurrencies
decentralized CAG
development activities
disparate sources
distributed teams
economic challenges
extraordinary amounts
functional specifications
geographically distributed teams
Global Software Development
legislation
level agreements
Libraries
License verification
Licenses
litigations
metadata
noncomplaint license software
nonconformant behavior
open source components
open-source software components
Policy Based Governance
pubcrawl
public domain software
SDLC
security risks
smart contracts
Software
software delivery
software development life cycle
software development management
software engineering
standard compliances
technical challenges
vulnerability assessment
1
2
3
4
5
6
next ›
last »
