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
Linux
biblio
Comparing Performances of Cypress Block Cipher and Modern Lighweight Block Ciphers on Different Platforms
Submitted by
aekwall
on Mon, 08/10/2020 - 10:32am
64-bit Linux
android
Android (operating system)
android encryption
Androids
block cipher Cypress
Ciphers
computer architecture
Cryptography
Cypress block cipher
Cypress-256
encryption
encryption speed
Human behavior
Humanoid robots
lightweight cryptography
lighweight block ciphers
Linux
Metrics
Microsoft Windows (operating systems)
pubcrawl
Resiliency
Scalability
Windows x32
biblio
Detection of Covert Timing Channels with Machine Learning Methods Using Different Window Sizes
Submitted by
grigby1
on Thu, 07/16/2020 - 12:17pm
composability
Compositionality
computer network security
covert channels
covert timing channel
data packets
feature extraction
hidden data
information security
learning (artificial intelligence)
Linux
machine learning
machine learning methods
network steganography
Protocols
pubcrawl
resilience
Resiliency
Scalability
TCPIP
telecommunication channels
timing
Vectors
window sizes
biblio
Challenges in Designing Exploit Mitigations for Deeply Embedded Systems
Submitted by
aekwall
on Mon, 06/15/2020 - 10:56am
security of data
Hardware
security
embedded systems
real-time systems
Linux
Resiliency
pubcrawl
composability
Metrics
operating systems (computers)
common hardening techniques
deeply embedded systems
embedded memory corruption vulnerabilities
embedded operating systems
embedded patch management
Embedded System
exploit mitigation
Exploiting
statistical analysis
vulnerability exposure windows
μArmor approach
biblio
Security Testing Of Active Optical Network Devices
Submitted by
grigby1
on Fri, 05/15/2020 - 11:36am
active exploration
active optical network devices
analysis
computer network security
conducted testing
gpon
huawei
Kali Linux
Linux
Network
Network reconnaissance
optical
optical fibre networks
Optical network units
passive exploration
Passive optical networks
Penetration Testing
pubcrawl
Reconnaissance
resilience
Resiliency
Scalability
security
security testing
tested polygon
testing
testing devices
tools
biblio
Authentication and Recognition, Guarantor for on-Line Security
Submitted by
grigby1
on Fri, 04/17/2020 - 11:28am
iOS Security
pubcrawl
3D frontal facing camera
3rd party service organizations
anti-spoofing
ARGOS
authorisation
BEWARE
biometrics (access control)
composability
face biometrics
face recognition
face recognition authentication service
face recognition-based authentication service
Linux
Metrics
mobile desktop
Mobile handsets
operating systems
operating systems (computers)
resilience
Resiliency
rest
SOAP
Web browser
Web Service
web services
Windows Operating System Security
biblio
Development of Incident Response Tool for Cyber Security Training Based on Virtualization and Cloud
Submitted by
grigby1
on Fri, 04/17/2020 - 11:28am
actual information system
artificial intelligenc
artificial intelligence technology
CBT type remote education
cloud
Cloud Computing
composability
computer based training
Computer crime
computer science education
cyber security
cyber security experts
cyber security threats
cyber security training system
defense practice
government data processing
infringement incident response tool
Korean e-government framework
Korean government agency
Linux
Metrics
military war game modeling
modeling and simulation
pubcrawl
resilience
Resiliency
scenario based infringement incident response training
Secure Coding
virtualisation
virtualization-based infringement incident response tool
vulnerability measure practice
Window operating system environments
Windows Operating System Security
biblio
Undertow: An Intra-Kernel Isolation Mechanism for Hardware-Assisted Virtual Machines
Submitted by
grigby1
on Fri, 04/17/2020 - 10:24am
authorisation
Cloud Computing
security
Trusted Computing
pubcrawl
Human behavior
Human Factors
resilience
Resiliency
data privacy
sensitive data
privacy
storage management
security threats
composability
invasive software
Linux
Switches
virtualisation
Virtual machining
Kernel
operating system kernels
Virtual machine monitors
virtual machines
Virtualization
Metrics
security policies
bare-metal machines
boot time
bug-prone
commodity operating system
critical data
EPT violations
flexible cloud servers
guest kernel
guest virtual machine
Hardware virtualization
hardware-assisted isolation mechanism
hardware-assisted virtual machines
Intel processors
intra-kernel isolation mechanism
isolated environment
isolation
Kernel Protection
multiple restricted Extended Page Table
nested kernel
popular paths
pre-defined EPT
read-only protection
system calls
unpopular paths
untrusted code
untrusted outter kernel
virtualization exception
VMFUNC
virtualization privacy
biblio
ROS-Defender: SDN-Based Security Policy Enforcement for Robotic Applications
Submitted by
aekwall
on Mon, 04/13/2020 - 10:14am
computer network security
firewall
Servers
Access Control
security
Linux
software defined networking
pubcrawl
policy-based governance
Peer-to-peer computing
SDN
security policies
Robot sensing systems
robots
ROS
robotic applications
intrusion prevention system
anomaly detection systems
dynamic policy enforcement points
IPS
OpenvSwitch
Robotic system
robotics
robotics systems
ROS-Defender
ROSDefender
SDN-based security policy enforcement
security event management system
SIEM
biblio
Security Lock with Effective Verification Traits
Submitted by
aekwall
on Mon, 04/06/2020 - 10:05am
security
Scalability
authorisation
Linux
feature extraction
learning (artificial intelligence)
machine learning
Resiliency
Human behavior
pubcrawl
password
Cameras
Fingerprint recognition
face recognition
facial recognition
graphical user interfaces
interactive GUI
machine learning operations
multi-layer
multilevel security system
multiple layer security system
physical security
Raspberry Pi microcomputers
recognition
security lock
security locker solution
smart box
speech pattern recognition
Speech recognition
TensorFlow
vein pattern recognition
vein recognition
Veins
verification traits
Viola and Jones
pattern locks
biblio
A Formal Approach to Secure Speculation
Submitted by
grigby1
on Fri, 04/03/2020 - 12:55pm
security of data
security
pubcrawl
Resiliency
verification
microarchitecture
Program processors
Transient analysis
Linux
Kernel
formal verification
Metrics
Compositionality
provable security
formal
formal approach
Formal-Verification
hyperproperty
information flow security properties
information-flow
meltdown
microarchitectural side-channels
mitigation
observational-determinism
out-of-order-execution
safety-property
secure speculation property
secure speculative execution
side-channel
SMT
software mitigations
Spectre
speculation
trace property-dependent observational determinism
trace-property
transient execution attacks
transient-execution
uclid5
resilience
1
2
3
4
5
6
next ›
last »
