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
Code-based Pseudorandom Generator for the Post-Quantum Period
Submitted by
grigby1
on Fri, 04/03/2020 - 12:56pm
pubcrawl
Resiliency
Generators
Cryptography
Prototypes
Metrics
Decoding
Compositionality
provable security
“Provable”
Code-based Pseudorandom Number Generator
Cryptographically Resistance Pseudorandom Sequences
Fischer-Stern Generator
Periodic Properties
Random sequences
Resistance
security model
resilience
biblio
Prototype Container-Based Platform for Extreme Quantum Computing Algorithm Development
Submitted by
aekwall
on Mon, 03/30/2020 - 11:41am
Cloud Computing
Scalability
Hardware
Software
Resiliency
pubcrawl
composability
Libraries
source code (software)
Containers
quantum computing
Predictive Metrics
Prototypes
cloud computing software environment
cloud computing system
computer security challenges
Docker container environment
Docker Containers
IBM Q Experience
IBM Q Experience Web site
prototype container based system
prototype container system
prototype container-based platform
prototype environment
Qiskit source codes
quantum computer
quantum computing algorithm development
quantum computing devices
quantum computing hardware platforms
quantum simulators
rapid prototype development
quantum computing security
biblio
STEROIDS for DOPed Applications: A Compiler for Automated Data-Oriented Programming
Submitted by
grigby1
on Mon, 03/23/2020 - 3:58pm
security of data
Engines
pubcrawl
Human behavior
Human Factors
resilience
Resiliency
Scalability
Prototypes
composability
Program processors
programming
64-bit applications
automated data-oriented programming
code pointers
code-reuse attacks
code-reuse chain
code-reuse techniques
compiler
conventional code-injection
data structures
data-oriented programming
DOP exploits
DOPed applications
exploitation
high-level language SLANG
JIT-ROP attack
Just-in-Time
just-in-time gadget search
low-level DOP data structures
Manuals
memory corruption vulnerabilities
object-oriented programming
online front-ends
Payloads
pointer chain
program compilers
program debugging
relocate gadget addresses
ROP chain
scripting engine
Slang
software reusability
Steroids
STEROIDS compiles
Turing machines
Turing-complete computations
vastly different vulnerabilities
vulnerability-independent
Web browser
wide-spread adoption
rop attacks
biblio
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Hardware
Protocols
Resiliency
pubcrawl
Computational modeling
standards
Formal Specification
verification
timing
Scalability
Predictive Metrics
Prototypes
Compositionality
formal verification
Clang
hardware description languages
Object oriented modeling
scalable verification
Computer simulation
design verification
Electronic System Level
semiconductor industry
simulation behavior
Simulation-based Verification
SystemC
SystemC language
SystemC VP
SystemC-based virtual prototypes
systems analysis
TLM
TLM-2.0 rules
Transaction Level Modeling framework
Virtual Prototype
virtual prototyping
biblio
Bytecode Heuristic Signatures for Detecting Malware Behavior
Submitted by
aekwall
on Mon, 03/09/2020 - 11:13am
Monitoring
Scalability
malware
security
malware detection
invasive software
Resiliency
pubcrawl
digital signatures
Virtual machining
computational complexity
malware behavior
Prototypes
low performance overhead
Computer languages
virtual machines
Instruction sets
response time
behavior
behavior based detection
bytecode
bytecode heuristic signatures
hash-based signatures
heuristic
malicious applications
proactive approaches
proactive behavior heuristics
reactive security solutions
signature
Security Heuristics
predictability
biblio
On Design and Implementation a Federated Chat Service Framework in Social Network Applications
Submitted by
aekwall
on Mon, 02/10/2020 - 12:08pm
Scalability
Organizations
mobile computing
pubcrawl
privacy
Facebook
social networking (online)
internet
chatbots
Standards organizations
Human Factors
Switches
Prototypes
chat services
federated chat service framework
Messengers
service requests
social network applications
switching cost
user profiles
Social Agents
biblio
Realization of System Verification Platform of IoT Smart Node Chip
Submitted by
grigby1
on Tue, 11/12/2019 - 4: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 - 10:20am
address space layout randomization
applied code transformation
CCR
code randomization
code uniformity
compiler level protection
compiler-assisted code randomization
compiler-rewriter cooperation
compiler security
composability
Compositionality
fine-grained code randomization
fine-grained code transformation
Hardware
Human behavior
LLVM compiler toolchain
metadata
Metrics
program compilers
Prototypes
pubcrawl
randomized variants
Resiliency
return oriented programming
return-oriented programming
Robustness
Runtime
Scalability
security
security of data
Software
software distribution models
software distribution norms
software diversification
software engineering
transformation-assisting metadata
biblio
A Data Provenance Visualization Approach
Submitted by
aekwall
on Mon, 09/23/2019 - 10: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 - 12:15pm
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
1
2
3
next ›
last »
