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
field programmable gate arrays
biblio
On-Device Detection via Anomalous Environmental Factors
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
Temperature sensors
sensor systems and applications
Ring oscillators
Resiliency
pubcrawl
Metrics
field programmable gate arrays
embedded systems
composability
Anomaly Detection
biblio
On-chip Data Security Against Untrustworthy Software and Hardware IPs in Embedded Systems
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
third-party IPs
third-party IP cores
static detection methods
software IP
SoC FPGA
security services
reconfigurable logic fabric
on-chip memory blocks
microprocessor chips
memory security
memory protection unit
memory protection design
memory access
low-latency hardware
Intel DE1-SoC board
implementation
hierarchical top-down structure
golden reference model
FPGA-based embedded systems
dual-core ARM processor
3PIP
Metrics
composability
pubcrawl
Resiliency
system-on-chip
embedded systems
security
Hardware
Cryptography
IP networks
field programmable gate arrays
security of data
biblio
Hardware Implementation of Multi-Scroll Chaos Based Architecture for Securing Biometric Templates
Submitted by
grigby1
on Fri, 03/22/2019 - 12:35pm
biometric encryption
biometric templates
biometrics (access control)
biometrics-based personal authentication systems
chaos
chaos-based multiscroll encryption algorithm
chaotic communication
chaotic N × N grid multiscroll system
computer architecture
Cryptography
embedded biometric systems
embedded systems
Euler method
field programmable gate arrays
FPGA
Hardware
hardware resources
Image Processing
low cost image encryption
Mathematical model
Metrics
multi-scroll
multiscroll chaos based architecture
pubcrawl
real-time systems
resilience
Resiliency
Scalability
security
Security analysis
Xilinx
Xilinx FPGA
biblio
Enabling Hardware Trojan Detection and Prevention through Emulation
Submitted by
grigby1
on Fri, 03/15/2019 - 11:59am
Supply Chain
tools
pubcrawl
Hardware
invasive software
Trojan horses
Logic gates
field programmable gate arrays
Payloads
hardware Trojan detection
emulation
FPGA
Hardware Assurance
HWA
in-design systems
in-service systems
programmable hardware
trojan
Trojan attack signatures
trojan horse detection
biblio
Low False Alarm Ratio DDoS Detection for ms-scale Threat Mitigation
Submitted by
aekwall
on Wed, 02/13/2019 - 11:56am
advanced security solutions
attackers
automated response
botnet
Computer crime
computer network security
data center networks
DDoS
Detectors
false alarm rate
false detection
field programmable gate arrays
FPGA
high-intensity short-duration volatile ephemeral attack waves
human out-of-loop
human-in-the-loop security center paradigm
IDS
Inspection
intrusion detection and prevention
intrusion detection system
low false alarm ratio DDoS detection
low reaction time detection system
massive IoT botnets
mitigation system
Monitoring
ms-scale threat mitigation
network security
next-generation security solutions
reaction times
threat type
volatile DDoS threats
volatile ephemeral DDoS attacks
Resiliency
Human behavior
pubcrawl
metric
threat mitigation
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
Study of secure boot with a FPGA-based IoT device
Submitted by
grigby1
on Mon, 06/11/2018 - 3:23pm
pubcrawl
Resiliency
Scalability
Internet of Things
Cryptography
encryption
authentication
Trojan horses
field programmable gate arrays
system security
resilience
Metrics
Decoding
system-on-chip
bitstream decoding
critical components
effective security provisioning
encrypt system boot image
FPGA bitstream
FPGA design
FPGA-based IoT device
host processor computation power
infrastructure components
IoT system
Secure Boot
software-based security implementation
Trojan Horse attacks
Xilinx Zynq-7000 Series System-on-Chip ZC706 prototype board
network on chip security
biblio
An object-oriented open software architecture for security applications
Submitted by
grigby1
on Thu, 06/07/2018 - 3:01pm
application program interfaces
composability
CPU
Data protection
dedicated Open Hardware devices
field programmable gate arrays
Hardware
Libraries
Metrics
multiplatform Open Source security framework
object oriented security
object-oriented open software architecture
Open Hardware security platform
Pins
pubcrawl
public key cryptography
resilience
Resiliency
SEcube™ platform
secure communication
secure messaging
security
security APIs
security applications
security device
security of data
smart cards
Software
Software Architecture
Universal Serial Bus
biblio
Design and Verification of a Novel IoT Node Protocol
Submitted by
grigby1
on Thu, 05/24/2018 - 12:21pm
Compositionality
dynamic reconfigurable features
field programmable gate arrays
Hardware
intelligent features
Internet of Things
IoT
IoT node protocol verification
Microprocessors
Policy
policy-based collaboration
Ports (Computers)
privacy
protocol verification
Protocols
pubcrawl
Servers
Switches
transport protocol
transport protocols
Verilog
wireless sensor networks
biblio
On-Chip Jitter Measurement for True Random Number Generators
Submitted by
grigby1
on Thu, 05/24/2018 - 12:15pm
Delay lines
delays
Entropy
field programmable gate arrays
Human behavior
Jitter
Metrics
pubcrawl
random key generation
resilience
Resiliency
Ring oscillators
Scalability
security
1
2
3
4
5
6
next ›
last »
