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
Registers
biblio
A Modeling Attack Resistant Deception Technique for Securing PUF based Authentication
Submitted by
grigby1
on Fri, 06/19/2020 - 11:49am
active deception protocol
attack resistant deception technique
authentic CRP
authentication
authentication protocol
binary channel
Buildings
challenge response pairs
Cryptographic Protocols
false PUF multiplexing
false trust
Generators
learning (artificial intelligence)
machine learning attacks
ML attack
Multiplexing
mutual authentication
physical unclonable function (PUF)
physical unclonable function-based authentication protocol
policy-based governance
Policy-Governed Secure Collaboration
Protocols
pubcrawl
PUF-based authentication method
Registers
replay attacks
resilience
Resiliency
Resistance
resource-rich server authentication
Scalability
Servers
biblio
Fast Reconfigurable Hash Functions for Network Flow Hashing in FPGAs
Submitted by
grigby1
on Fri, 06/12/2020 - 12:09pm
Compositionality
Cryptography
fast reconfigurable hash functions
field programmable gate array
field programmable gate arrays
FPGA
genetic algorithms
genetic programming
Hardware
hardware acceleration
hash algorithms
hash function design
high speed computer networks
high-quality hash functions
IP networks
Linear programming
Monitoring
multiobjective linear genetic programming
network flow hashing
pubcrawl
reconfigurable architectures
reconfigurable design
reconfigurable hash function
Registers
resilience
Resiliency
biblio
Enhanced Secure Hash Algorithm-512 based on Quadratic Function
Submitted by
grigby1
on Fri, 06/12/2020 - 12:09pm
avalanche effect
Compositionality
Cryptography
enhanced secure hash algorithm-512
enhanced SHA-1 algorithm
extended bits
hash algorithms
hash collision
hash collisions
Hash functions
hash message
hash outputs
mobile ad hoc networks
password
primitive function
pubcrawl
quadratic function
Registers
resilience
Resiliency
SHA-1
Urban areas
biblio
A Kernel Rootkit Detection Approach Based on Virtualization and Machine Learning
Submitted by
grigby1
on Fri, 04/17/2020 - 11:28am
composability
feature extraction
Hardware
hardware assisted virtualization technology
invasive software
Kernel
kernel rootkit
kernel rootkit detection approach
kernel rootkit detection solution
kernel rootkit detection system
kernel space
learning (artificial intelligence)
machine learning
machine learning techniques
malicious kernel module
Metrics
operating system
operating system kernels
operating systems (computers)
OS
OS kernel
OS resource management
pubcrawl
Registers
resilience
Resiliency
rootkit
run-time features
security of data
system monitoring
target kernel module
TF-IDF method
user-mode rootkit detection
Virtual machine monitors
virtual machines
virtualisation
Virtualization
windows kernel rootkits
Windows Operating System Security
biblio
HyperPS: A Hypervisor Monitoring Approach Based on Privilege Separation
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
Cloud Computing
cloud environment
collaboration
guest virtual machine security
Human behavior
Human Factors
HyperPS
hypervisor monitoring
hypervisor security
Kernel
KVM hypervisor
Linux
Logic gates
Metrics
microhypervisor reducing attack surface
Monitoring
monolithic operating system
operating system kernels
policy-based governance
privilege separation
pubcrawl
Registers
resilience
Resiliency
Safe Coding
security
security of data
security-sensitive system resources
system monitoring
system software error
Trusted Computing
trusted environment
Virtual machine monitors
virtual machines
Virtualization
biblio
Resilient Reorder Buffer Design for Network-on-Chip
Submitted by
grigby1
on Fri, 03/27/2020 - 11:27am
area efficient safe design techniques
buffer circuits
collaboration
control logic function
Diagnostic Coverage requirement
error correction codes
error detection
error detection code
error detection codes
fault tolerance
Fault tolerant systems
high performance computing systems
Human behavior
Human Factors
Industries
integrated circuit design
invariance checking
logic design
Metrics
Network interfaces
network-on-chip
Network-on-Chip Advanced eXtensible Interface Network Interface block
parallel processing
policy-based governance
pubcrawl
random control logic
Registers
Reorder Buffer
resilience
Resiliency
resilient Reorder buffer design
Safe Coding
safe control logic design
safe ROB design
Safety
Table lookup
biblio
Input Elimination Transformations for Scalable Verification and Trace Reconstruction
Submitted by
aekwall
on Mon, 03/16/2020 - 10:38am
Resiliency
pubcrawl
computational complexity
Complexity theory
Logic gates
Scalability
Predictive Metrics
Compositionality
Registers
formal verification
model checking
2QBF variant
connectivity verification
Cost accounting
fast- lossy preprocess
input elimination transformations
input reparameterization
merging
netlist transformations
scalable verification
trace reconstruction
verification complexity
verification scalability
biblio
Algebraic Patterns of Vulnerabilities in Binary Code
Submitted by
aekwall
on Mon, 02/17/2020 - 2:42pm
Buffer overflows
Resiliency
Human behavior
pubcrawl
Metrics
vulnerability detection
pattern matching
program diagnostics
algebra
Semantics
Compositionality
Registers
sockets
binary code
Binary codes
algebra equations
algebraic approach
algebraic matching
algebraic matching methods
algebraic patterns
behaviour algebra
cyber reasoning systems
pattern creation
rewriting rules
symbolic modelling
biblio
Automatic Whitelist Generation for SQL Queries Using Web Application Tests
Submitted by
grigby1
on Mon, 02/10/2020 - 11:26am
application-specific implementations
automated generation
Automatic testing
automatic whitelist generation
blacklisting
collaboration
composability
confidential information
Database Security
Databases
development process
Human behavior
internet
large-scale Web applications
legitimate queries
Metrics
policy-based governance
privacy
pubcrawl
query detection
query patterns
query processing
Registers
relational databases
relational database security
research and development
resilience
Resiliency
security of data
severe vulnerability issue
SQL
SQL detection
SQL injection
SQL queries
Web application test
Web application tests
Whitelist
Whitelists
biblio
Arithmetic Circuit Homomorphic Encryption and Multiprocessing Enhancements
Submitted by
aekwall
on Mon, 12/30/2019 - 12:36pm
Cloud Computing
Scalability
Cryptography
encryption
Resiliency
pubcrawl
Metrics
Libraries
Logic gates
cloud services
Human Factors
Registers
multiprocessing systems
Homomorphic encryption
Informatics
adders
arithmetic
Arithmetic Algorithm
arithmetic circuit homomorphic encryption
arithmetic operations
Boolean Circuit
latency reduction
MPI
multiplication operation
multiprocessing enhancements
OpenMP
TFHE library
1
2
3
4
next ›
last »
