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
Realization of System Verification Platform of IoT Smart Node Chip
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
automobiles
chip design cycle
collaboration
composability
Compositionality
design cost reduction
efficient verification platform
field programmable gate arrays
formal verification
FPGA
FPGA-based prototype verification
Internet of Things
IoT node
IoT smart node chip
large scale integrated circuits
policy-based governance
privacy
protocol verification
Protocols
Prototypes
pubcrawl
simulation verification
system verification
system verification platform
Systems Simulation
transmission protocol
Wireless fidelity
biblio
Formal Verification Technology for Asynchronous Communication Protocol
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
aerospace FPGA software products
assert
asynchronous communication
asynchronous communication protocol
blind spots
Clocks
collaboration
complete verification process
composability
Compositionality
field programmable gate arrays
formal verification
formal verification technology
policy-based governance
privacy
process control
Product design
product design quality
property
protocol verification
Protocols
PSL
pubcrawl
Software
traditional simulation method
UART communication
verification work efficiency
biblio
Hardware Implementation of Dynamic Key Value Based Stream Cipher Using Chaotic Logistic Map
Submitted by
grigby1
on Tue, 10/08/2019 - 3:44pm
asymmetric key chaos based cryptography
binary sequence
binary sequences
chaos
Chaos based cryptography
chaotic logistic map
Ciphers
dynamic key value based stream cipher
embedded systems
field programmable gate arrays
Field programmable gated array
FPGA device
frequency 62.2 MHz
Hardware
Hardware Security
hardware-based embedded system
Human behavior
key scheduling
key stream
logistic map
Logistics
Metrics
NIST statistical
nonrecursive key
private key cryptography
PRNG
pseudorandom number generation
pseudorandom sequence generation
pubcrawl
public key cryptography
random key generation
random number generation
Random sequences
randomness tests
resilience
Resiliency
Scalability
stream cipher
symmetric key chaos based cryptography
Thermal analysis
Verilog HDL
X-power
Xilinx device
biblio
Lightweight Security Protocol for Chipless RFID in Internet of Things (IoT) Applications
Submitted by
grigby1
on Wed, 10/02/2019 - 2:02pm
BASYS 2 FPGA board based platform
broader IoT framework
Chipless RFID
chipless RFID system
chipless RFID tag based system
Cryptographic Protocols
Databases
field programmable gate arrays
Human behavior
Human Factors
Internet of Things
IoT
lightweight collision free algorithm
lightweight security protocol
privacy
Protocols
pseudorandom number generator
pubcrawl
radiofrequency identification
random number generation
resilience
Resiliency
RFID
RFID based communication
RFID tags
RFIDs
Secuity
security
tag/reader anonymity
biblio
FPGA-oriented moving target defense against security threats from malicious FPGA tools
Submitted by
aekwall
on Mon, 09/09/2019 - 9:48am
security of data
field programmable gate arrays
FPGA
Hardware
security
Table lookup
Resiliency
pubcrawl
Trojan horses
security threats
Hardware Security
Scalability
Benchmark testing
moving target defense
defense lines
FOMTD
FPGA configuration
FPGA design suite
FPGA emulation results
FPGA hardware-software providers
FPGA security
FPGA users
FPGA-oriented MTD method
hardware trojan
malicious FPGA tools
moving target defense principle
reverse engineering
target defense
Xilinx
Predictive Metrics
biblio
Zynq FPGA Based System Design for Video Surveillance with Sobel Edge Detection
Submitted by
aekwall
on Mon, 08/12/2019 - 8:46am
ADAS
analog composite video interface
analog CVBS
camera
Cameras
computer architecture
computer vision
Decoding
deep learning
deep video
edge detection
edge detection filter
field programmable gate arrays
FPGA
Hardware
HDMI-MIPI CSI
high speed serial interfaces
image classification
Image edge detection
image filtering
Image resolution
industrial automation
input composite video decoding
input composite video surveillance
learning (artificial intelligence)
live traffic analysis
Metrics
pubcrawl
Reconfigurability
Resiliency
Scalability
security
Sobel edge detection
Streaming media
surveillance
Surveillance systems and ARM processor
Thermal Imaging
VGA
video coding
video interface
video streaming
video surveillance
Xilinx ZC702 platfor
ZC702
Zynq FPGA based system design
Zynq-7000
biblio
On-Device Detection via Anomalous Environmental Factors
Submitted by
aekwall
on Wed, 05/01/2019 - 11:42am
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 - 11:42am
3PIP
composability
Cryptography
dual-core ARM processor
embedded systems
field programmable gate arrays
FPGA-based embedded systems
golden reference model
Hardware
hierarchical top-down structure
implementation
Intel DE1-SoC board
IP networks
low-latency hardware
memory access
memory protection design
memory protection unit
memory security
Metrics
microprocessor chips
on-chip memory blocks
pubcrawl
reconfigurable logic fabric
Resiliency
security
security of data
security services
SoC FPGA
software IP
static detection methods
system-on-chip
third-party IP cores
third-party IPs
biblio
Hardware Implementation of Multi-Scroll Chaos Based Architecture for Securing Biometric Templates
Submitted by
grigby1
on Fri, 03/22/2019 - 11:35am
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 - 10:59am
emulation
field programmable gate arrays
FPGA
Hardware
Hardware Assurance
hardware Trojan detection
HWA
in-design systems
in-service systems
invasive software
Logic gates
Payloads
programmable hardware
pubcrawl
Supply Chain
tools
trojan
Trojan attack signatures
trojan horse detection
Trojan horses
1
2
3
4
5
6
7
next ›
last »
