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
system-on-chip
biblio
Routing Aware and Runtime Detection for Infected Network-on-Chip Routers
Submitted by
grigby1
on Mon, 11/04/2019 - 11:39am
Hardware
hardware trojan
integrated circuits
invasive software
logic design
malicious Hardware Trojans
Malicious-tolerant Routing Algorithm
Metrics
MPSoC
multiprocessing systems
Multiprocessors System-on-Chip
network routing
network-on-chip
network-on-chip architecture
NoC
outsourcing
pubcrawl
resilience
Resiliency
Router Systems Security
Routing
Runtime
runtime detection
secret key leaking
secure routing algorithm
security
security attacks
System recovery
system-on-chip
Trojan horses
biblio
ArtiFact: Architecture and CAD Flow for Efficient Formal Verification of SoC Security Policies
Submitted by
aekwall
on Tue, 10/22/2019 - 8:54am
security of data
Monitoring
IP networks
system-on-chip
pubcrawl
policy-based governance
Cryptography
tools
security architecture
Complexity theory
Engines
security policy
formal verification
alternative architecture
artifact
CAD
CAD flow
centralized infrastructure IP
complex steps
critical steps
efficient formal verification
expensive steps
flexible infrastructure IP
functional design flow
illustrative policies
industrial SoC
integrated circuit design
modern SoC design validation
off-the-shelf formal tools
Security Engine
security policy implementation
simulation-based security verification
SoC Security
SoC security policies
SoC Verification
streamlined verification
system-level security policies
verification time
verification tools
Security Policies Analysis
biblio
An Improved Cross-Coupled NAND Gates PUF for Bank IC Card
Submitted by
grigby1
on Wed, 09/11/2019 - 1:45pm
composability
FPGA
Metrics
Microelectronics Security
physical unclonable functions
pubcrawl
resilience
Resiliency
system-on-chip
biblio
Repurposing SoC Analog Circuitry for Additional COTS Hardware Security
Submitted by
grigby1
on Wed, 09/11/2019 - 1:44pm
ADC
additional COTS hardware security
analog to digital converters
analogue-digital conversion
commercial off-the-shelf system-on-a-chip integrated circuits
common COTS microcontroller
comparators
composability
COTS security
Cryptography
DAC
device authentication activities
digital to analog converters
digital-analogue conversion
encryption
Hardware
Hardware Security
Metrics
microcontrollers
Microelectronics Security
on-chip analog blocks
on-chip analog hardware blocks
physically unclonable function responses
processing algorithms
pubcrawl
PUF responses
reliable key generation
repurposing SoC analog circuitry
resilience
Resiliency
security
Semiconductor device measurement
system-on-chip
temperature fluctuations
Temperature measurement
trusted microelectronics
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
LiteHAX: Lightweight Hardware-Assisted Attestation of Program Execution
Submitted by
aekwall
on Wed, 02/13/2019 - 10:58am
attestation
composability
control-flow attacks
control-flow attestation schemes
data flow computing
data integrity
data-flow events
data-oriented programming
DOP attacks
embedded Internet of Things devices
embedded systems
hardware-assisted remote attestation scheme
Human behavior
Internet of Things
lightweight hardware-assisted attestation of program execution
LiteHAX
malicious modification
malware
Program processors
programming
pubcrawl
RA
reduced instruction set computing
remote device integrity
Resiliency
RISC-based embedded devices
RISC-V system-on-chip
Runtime
runtime attestation
security
security of data
security service
SoC
software binaries
system-on-chip
Trusted Computing
biblio
Programmable SoC platform for deep packet inspection using enhanced Boyer-Moore algorithm
Submitted by
grigby1
on Wed, 09/12/2018 - 10:25am
Accelerator
Algorithm design and analysis
BM string search algorithm
Boyer-Moore
Boyer-Moore algorithm
computer network security
deep packet inspection
FPGA
Hardware
high level synthesis
High-Le'vel Synthesis
high-level synthesis
Inspection
MISD parallelism
Network Monitoring
network security
parallel processing
Payloads
Platform Based Design
platform based design methodologies
Program processors
Programmable SoC
pubcrawl
real-time on-line pattern search
real-time systems
resilience
Resiliency
Scalability
search problems
SIMD
string matching
system monitoring
system-on-chip
SystemC
TCP
TCP packets
Xilinx Zynq programmable SoC
Zynq
biblio
High confinement and low loss Si3N4waveguides for miniaturizing optical coherence tomography
Submitted by
grigby1
on Thu, 08/23/2018 - 10:59am
privacy
cyber-physical systems
pubcrawl
Resiliency
composability
resilience
Imaging
system-on-chip
Integrated optics
optical losses
high confinement thermally tunable silicon nitride waveguide
low loss silicon nitride waveguide
optical coherence tomography
Optical interferometry
optical tomography
optical tuning
Optical waveguides
Optimized production technology
Propagation losses
Si3N4
Silicon compounds
size 42.0 cm
confinement
biblio
Smart bluetooth low energy security system
Submitted by
grigby1
on Thu, 08/23/2018 - 10:35am
BLE (Bluetooth Low Energy)
biometric
BLE technology
Bluetooth
bluetooth security
building management systems
Cameras
composability
Conferences
energy consumption
energy security
Human behavior
human factor
image transmission
IoT (Internet of Things)
low energy consumption security system
physical lock
PSoC 4 BLE
pubcrawl
resilience
Resiliency
security
sensors
Servomotors
smart Bluetooth low energy security system
smart phones
smartphone
surveillance system
system-on-chip
Web page
Web site
wireless connection
wireless technologies
biblio
Minimum energy quantized neural networks
Submitted by
grigby1
on Mon, 06/11/2018 - 2:24pm
pubcrawl
Resiliency
Scalability
Hardware
neural nets
energy consumption
telecommunication security
Neural networks
Training
deep learning
resilience
Memory management
Metrics
Random access memory
system-on-chip
energy conservation
power aware computing
Mobile communication
approximate computing
arbitrary fixed point precision
automated minimum-energy optimization
BinaryNets
complex arithmetic
fixed point arithmetic
fundamental trade-off
generic hardware platform
higher precision operators
int4 implementations
int8 networks
iso-accuracy depending
low precision weights
Minimum Energy
minimum energy QNN
QNN training
Quantized Neural Network
quantized neural networks
wider network architectures
network on chip security
1
2
3
4
next ›
last »
