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
An Automated System Recovery Using BlockChain
Submitted by
grigby1
on Thu, 02/14/2019 - 11:22am
security of data
resilience
pubcrawl
Resiliency
performance evaluation
Servers
blockchain
Registers
automated system recovery
back-up procedures
block-chain
Cloning
data integrity
disaster recoevry
disaster recovery system
DR system
duplicated file integrity
recovery performance evaluation
System recovery
biblio
Impact Assessment of Password Reset PRMitM Attack with Two-Factor Authentication
Submitted by
grigby1
on Fri, 02/08/2019 - 4:34pm
authentication
pubcrawl
Human behavior
Human Factors
Uniform resource locators
two-factor authentication
password
LinkedIn
PRMitM
Registers
two factor authentication
biblio
Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants
Submitted by
grigby1
on Mon, 06/11/2018 - 3:37pm
Algorithm design and analysis
automatically-synthesized relational invariants
circuit executions
core design C
debugging interface
declassification
digital signal processing chips
digital-signal processing module
Domain-Specific Language
DSP module
dynamic conditions
Ethernet controller
field programmable gate arrays
flash memories
flash memory controller
flow security
Hardware
Hardware design languages
Human behavior
human computer interaction
information leaks
information-flow policies
Local area networks
Named Data Network Security
open-source designs
pattern classification
program debugging
program verification
pubcrawl
Registers
resilience
Resiliency
robotics controller
Scalability
SD-card storage manager
security
security of data
sequential logic
SIMAREL
specification languages
storage management
STREAMS policies
unbounded input streams
user interfaces
Wires
biblio
HyDroid: A Hybrid Approach for Generating API Call Traces from Obfuscated Android Applications for Mobile Security
Submitted by
grigby1
on Mon, 04/02/2018 - 12:33pm
Android (operating system)
Android API
Android API call traces
Android applications
Androids
API call trace generation
APIs
application program interfaces
application services
Compositionality
dynamic analysis
Humanoid robots
hybrid approach
HyDroid
Java
malware
mobile computing
Mobile Security
obfuscated Android applications
program diagnostics
pubcrawl
reflection
Registers
Repackaging
resilience
Resiliency
security
security of data
security threats
source code
static analysis
Static and Dynamic Analysis of Apps
biblio
Experimental Study of IP Spoofing Attack in 6LoWPAN Network
Submitted by
grigby1
on Mon, 03/19/2018 - 1:45pm
6LoWPAN
6LoWPAN control messages
6LoWPAN network
6LoWPAN-ND
access protocols
composability
computer network security
Cooja Simulator
Cyber Physical Systems Security
encryption
energy consumption
Internet of Things
IP networks
IP spoofing attack
IPv6 protocol
IPv6 Spoofing
lossy personal area networks
low power personal area networks
Media Access Protocol
memory consumption
personal area networks
pubcrawl
Registers
resilience
Resiliency
Routing protocols
RPL
telecommunication power management
wrong IPv6-MAC binding
biblio
Organization of the Entrusted Calculations in Crucial Objects of Informatization under Uncertainty
Submitted by
grigby1
on Tue, 02/06/2018 - 1:59pm
composability
Computers
control of complex objects under uncertainty
crucial objects
Cryptography
domestic electronic base
encoding
entrusted calculations
Hardware
hypervisor security
informatization
Organizations
Prototypes
pubcrawl
Registers
Resiliency
root of trust
safe calculations
the entrusted domestic environment of calculations
the prevention of activation of not declared opportunities
tpm
TPM technology (Trusted Platform Module)
Trusted Computing
Trusted Platform Module
trusted platform modules
biblio
Trustworthy Services Built on Event-Based Probing for Layered Defense
Submitted by
grigby1
on Fri, 02/02/2018 - 1:29pm
Attack detection
Cloud Computing
cloud computing environments
cloud-tuned intrusion detection system
composability
cyber physical systems
defense-in-depth
event-based probing
feature extraction
guest-system-call events
Hardware
hypervisor
IDS
Intrusion Detection
layered defense
Memory management
Monitoring
Probes
pubcrawl
Registers
Resiliency
system hangs
system monitoring
Trusted Computing
trustworthy logging
trustworthy services
Trustworthy Systems
virtual appliance
Virtual machine monitors
VMI
watchdogs
biblio
Trustworthy reconfigurable access to on-chip infrastructure
Submitted by
grigby1
on Fri, 02/02/2018 - 1:29pm
access mechanisms
composability
cyber physical systems
data communication
embedded systems
external interfaces
Hardware Security
IEEE standards
IEEE Std 1149
IEEE Std 1500
IEEE Std 1687
IJTAG
Instruments
integrated circuit testing
JTAG
Latches
Multiplexing
on-chip embedded infrastructure
pubcrawl
reconfigurable scan network
reconfigurable scan networks
Registers
Resiliency
RSN
scan pattern generation method
secure DFT
secure pattern retargeting
security
security problem
system-on-chip
trustworthiness
trustworthy access pattern generation
trustworthy access sequences
trustworthy data transmission
trustworthy reconfigurable access
Trustworthy Systems
biblio
Hardware support for embedded operating system security
Submitted by
grigby1
on Fri, 02/02/2018 - 1:17pm
hardware support
software-based protection mechanisms
security
Resiliency
remote hacking attacks
Registers
pubcrawl
operating systems (computers)
operating system
monitoring graph
Monitoring
Metrics
Internet-connected embedded systems
Hardware-based monitoring
hardware monitor
Hardware
FPGA-based prototype implementation
FPGA prototype
field programmable gate arrays
embedded systems
Embedded System
embedded OS security
embedded operating system security
defense
Data protection
Context
Computer crime
composability
attack
biblio
Dynamically obfuscated scan for protecting IPs against scan-based attacks throughout supply chain
Submitted by
grigby1
on Tue, 01/23/2018 - 3:21pm
automatic test pattern generation
boundary scan testing
chip security
Clocks
collaboration
composability
Discrete Fourier transforms
dynamically-obfuscated scan design
EDA generated scan chains
industrial property
integrated circuit design
integrated circuit manufacture
integrated circuit manufacturing
integrated circuits
integrated circuit test flow
integrated circuit testing
intellectual property
ip protection
Logic gates
noninvasive scan attacks
pattern generation time
Policy
policy-based governance
pubcrawl
Registers
Resiliency
scan-based attacks
scan-based test
Secure Scan
security
Supply Chain
supply chains
Testability
1
2
next ›
last »
