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
Prototypes
biblio
Realization of System Verification Platform of IoT Smart Node Chip
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
automobiles
chip design cycle
collaboration
composability
Compositionality
design cost reduction
efficient verification platform
field programmable gate arrays
formal verification
FPGA
FPGA-based prototype verification
Internet of Things
IoT node
IoT smart node chip
large scale integrated circuits
policy-based governance
privacy
protocol verification
Protocols
Prototypes
pubcrawl
simulation verification
system verification
system verification platform
Systems Simulation
transmission protocol
Wireless fidelity
biblio
Compiler-Assisted Code Randomization
Submitted by
aekwall
on Mon, 10/14/2019 - 9: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
A Data Provenance Visualization Approach
Submitted by
aekwall
on Mon, 09/23/2019 - 9:41am
Big Data
Classification algorithms
Resiliency
Human behavior
pubcrawl
composability
component
Metrics
tools
metadata
data analysis
public domain software
Data visualization
data visualisation
Provenance
data provenance
data lineage
data provenance visualization approach
open source visualization tool
Prototypes
PROV-O
provenance visualization
social networking (online)
W3C-PROV-O specification compatible provenance data
biblio
Development of a suite of IPv6 vulnerability scanning tests using the TTCN-3 language
Submitted by
grigby1
on Mon, 01/21/2019 - 11:15am
Address autoconfiguration
application security
attacks simulation
Compositionality
Computer crime
denial of service
denial-of-service attack detection
Device Security
dual-stack networks
Duplicate Address Detection
Formal Specification
Human behavior
ICMPv6 Protocol
internet
IP networks
IPv4 IPv6 protocol
IPv6
IPv6 networks
IPv6 vulnerability scanning tests
Linux
Metrics
network communications
passive analysis
program testing
Protocols
Prototypes
pubcrawl
Resiliency
security of data
specification languages
telecommunication computing
telecommunication security
test extensibility
test maintainability
test specification language
testing
Testing and Test Control Notation version 3
transport protocols
TTCN-3
TTCN-3 language
vulnerability assessment
vulnerability detection
Vulnerability Management
vulnerability scanning
biblio
Authentication Protocol for Wearable Devices Using Mobile Authentication Proxy
Submitted by
grigby1
on Wed, 01/16/2019 - 1:31pm
proxy
authentication
pubcrawl
Human behavior
Resiliency
Scalability
Protocols
telecommunication security
message authentication
performance evaluation
Cryptographic Protocols
Cryptography
Servers
authorisation
transport protocols
Wearable Device
application server
authentication protocol
Data collection
handshake protocol
mobile authentication proxy
Prototypes
secure data transmission
sensitive data
session key
TLS handshake protocol
transport layer security handshake protocol
unauthorized wearable devices
wearables security
biblio
Securing Augmented Reality Output
Submitted by
grigby1
on Mon, 11/19/2018 - 11:14am
AR technologies
Arya
augmented reality
augmented reality output security
automobiles
automotive components
Automotive engineering
data privacy
Human behavior
Industries
input privacy risks
policy framework
privacy
Prototypes
pubcrawl
resilience
Resiliency
Resists
Scalability
security
security of data
virtual content
biblio
Improvement of Privacy Preserved Rule-Based Risk Analysis via Secure Multi-Party Computation
Submitted by
grigby1
on Wed, 11/14/2018 - 12:19pm
Attack Tree Analysis
confidential information abuse
confidential information leakage
Cryptography
data privacy
Engines
expert systems
Human Factors
Ports (Computers)
privacy
privacy preserved rule-based risk analysis
privacy protection
Protocols
Prototypes
pubcrawl
Random access memory
risk analysis
Scalability
secret sharing
secure multiparty computation
secure risk analysis method
Servers
biblio
CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers
Submitted by
grigby1
on Thu, 06/07/2018 - 2:15pm
Bloom filter
Browsers
certificate transparency
client-server systems
CRL
CRL checking
CRLite servers
CRLs
CRLSet
Cryptography
data privacy
data structures
fail-closed security posture
Firefox
Google Certificate Transparency
Human behavior
internet
Metrics
OCSP
OCSP checking
OCSP Stapling
OneCRL
online front-ends
PKI
privacy
privacy concerns
Protocols
Prototypes
pubcrawl
Rapid7
resilience
Resiliency
revocation
Scalability
scalable system
security of data
Servers
space-efficient filter cascade data structure
SSL certificate revocations
SSL revocation checking
SSL Trust Models
TLS certificate revocations
TLS revocation checking
Transport Layer Security
University of Michigan
biblio
S2F: Discover Hard-to-Reach Vulnerabilities by Semi-Symbolic Fuzz Testing
Submitted by
K_Hooper
on Wed, 04/04/2018 - 8:58am
Binary Analysis
Compositionality
Computer bugs
Explosions
fuzzing
Fuzz Testing
fuzzy set theory
hard-to-reach vulnerabilities
Human behavior
low frequency input
Metrics
path explosion
program testing
Prototypes
pubcrawl
Resiliency
semisymbolic fuzz testing
software tools
Software Vulnerability
Symbolic Execution
test case generation
tools
vulnerability detection
vulnerability detection tools
biblio
CVSS-Based Probabilistic Risk Assessment for Cyber Situational Awareness and Countermeasure Selection
Submitted by
grigby1
on Mon, 04/02/2018 - 11:52am
attack graphs
Attack Modeling
attacker characteristics
authentication
Common Vulnerability Scoring System
composability
computer network risk assessment
computer network security
countermeasure selection
CVSS
CVSS-based probabilistic risk assessment
cyber situational awareness
integrated security metrics
Measurement
Metrics
network characteristics
Prototypes
pubcrawl
Reliability
resilience
Resiliency
risk assessment
risk management
security events
security information and event management system
Security Metrics
SIEM
SIEM systems
Silicon
1
2
3
next ›
last »
