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
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
authorisation
pubcrawl
resilience
Resiliency
web services
composability
Web browser
Linux
biometrics (access control)
Metrics
operating systems (computers)
3D frontal facing camera
3rd party service organizations
anti-spoofing
ARGOS
BEWARE
face biometrics
face recognition
face recognition authentication service
face recognition-based authentication service
mobile desktop
Mobile handsets
operating systems
rest
SOAP
Web Service
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
pubcrawl
resilience
Resiliency
Cloud Computing
cyber security
composability
Computer crime
Linux
virtualisation
government data processing
Metrics
actual information system
artificial intelligenc
artificial intelligence technology
CBT type remote education
cloud
computer based training
computer science education
cyber security experts
cyber security threats
cyber security training system
defense practice
infringement incident response tool
Korean e-government framework
Korean government agency
military war game modeling
modeling and simulation
scenario based infringement incident response training
Secure Coding
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
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
An Efficient Greybox Fuzzing Scheme for Linux-based IoT Programs Through Binary Static Analysis
Submitted by
grigby1
on Mon, 03/23/2020 - 4:16pm
binary static analysis
effective vulnerability discovery technique
embedded security
firmware
fuzzing
Internet of Things
IoT firmware kernel greybox fuzzer
IoT program greybox fuzzing
Linux
Linux-based IoT program
Metrics
program diagnostics
pubcrawl
real-world Linux-based IoT programs
resilience
Resiliency
Router Systems Security
security of data
static binary analysis.
vulnerabilities discovery
biblio
Scalable Translation Validation of Unverified Legacy OS Code
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
security
Linux
Resiliency
pubcrawl
tools
Formal Specification
program verification
cognition
Scalability
operating systems (computers)
Semantics
reverse engineering
Predictive Metrics
Compositionality
XML
formal verification
operating systems
scalable verification
ARM instructions
ARM machines
ARM specification language
ARMv8 ISA
formal reasoning
formal validation
functional security properties
Google Zircon
large-scale production operating system
Linux OS
multiple high-level source languages
PVS7 theorem prover
radare2 reverse engineering tool
specification languages
Theorem Proving
translation validation
unverified legacy OS code
1
2
3
4
5
6
next ›
last »
