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
SoC Trust Validation Using Assertion-Based Security Monitors
Submitted by grigby1 on Fri, 08/12/2022 - 2:09pm
automata
System Verilog Assertions
Security and Hardware Monitors
Property Specification Language
Assertion Based Verification
system-on-chip
fabrication
compiler security
Metrics
tools
Layout
Runtime
composability
Hardware
Resiliency
pubcrawl
security
biblio
Inter-Batch Gap Filling Using Compressive Sampling for Low-Cost IoT Vibration Sensors
Submitted by grigby1 on Fri, 08/12/2022 - 9:57am
pubcrawl
resilience
Resiliency
system-on-chip
composability
sensors
uncertainty
Sensor Systems
compressed sensing
Internet-of-Things
Vibrations
measurement uncertainty
compressive sampling
Gap Filling
vibration measurement
Vibration sensor
biblio
Towards a firmware TPM on RISC-V
Submitted by grigby1 on Thu, 08/04/2022 - 5:04pm
IoT security
trusted platform modules
Trusted Platform Module
processor
fTPM
edge security
Edge Processing
RISC-V
Trusted Computing
automotive security
security
Resistance
side-channel attacks
Program processors
composability
system-on-chip
Software
Resiliency
resilience
pubcrawl
biblio
LL-ATPG: Logic-Locking Aware Test Using Valet Keys in an Untrusted Environment
Submitted by grigby1 on Fri, 07/29/2022 - 9:44am
supply chains
pattern locks
untrusted foundry
Manufacturing test
logic locking
design for testability
Costs
Semiconductor device modeling
reverse engineering
Logic gates
manufacturing
Scalability
system-on-chip
Resiliency
resilience
Human behavior
pubcrawl
biblio
Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits
Submitted by grigby1 on Thu, 05/19/2022 - 1:03pm
Logic gates
pubcrawl
resilience
Resiliency
Integrated circuit modeling
system-on-chip
composability
Benchmark testing
Trojan horses
formal verification
Hardware Trojans
Scalability
denial of service
Microprocessors
Always-On
trojan horse detection
biblio
Trustworthy Computing on Untrustworthy and Trojan-Infected on-Chip Interconnects
Submitted by grigby1 on Tue, 03/01/2022 - 4:19pm
Metrics
tagging
system-on-chip
Software
Scalability
Resiliency
resilience
pubcrawl
network on chip security
Trustworthy Systems
IP networks
Hardware Trust
Hardware Security
Hardware
Focusing
Europe
design for security
composability
biblio
Lightweight Encryption Using Chaffing and Winnowing with All-or-Nothing Transform for Network-on-Chip Architectures
Submitted by grigby1 on Tue, 03/01/2022 - 4:18pm
composability
eavesdropping
encryption
Hardware
intellectual property
Metrics
network on chip security
network-on-chip
pubcrawl
resilience
Resiliency
Scalability
security
system-on-chip
Transforms
biblio
Security Capsules: An Architecture for Post-Silicon Security Assertion Validation for Systems-on-Chip
Submitted by grigby1 on Tue, 03/01/2022 - 4:18pm
post-silicon validation
Very large scale integration
Trace buffer
system-on-chip
Scalability
Run-time security monitors
Resiliency
resilience
pubcrawl
Program processors
dynamic systems
network on chip security
Monitoring
Metrics
IP networks
Heuristic algorithms
Dynamic signal selection
computer architecture
composability
security
biblio
Research on Secure JTAG Debugging Model Based on Schnorr Identity Authentication Protocol
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
security
Hardware
system-on-chip
privacy
authentication
Protocols
encryption
pubcrawl
composability
Compositionality
policy-based governance
debugging
protocol verification
biblio
On-line Detection and Localization of DoS Attacks in NoC
Submitted by aekwall on Thu, 09/30/2021 - 11:43am
security
Trojan horses
Hardware Trojans
Hardware
system-on-chip
Internet of Things
real-time systems
pubcrawl
Scalability
Metrics
Resiliency
random forests
denial of service
network on chip
random forest algorithm
network on chip security
1
2
3
4
5
6
7
8
9
next ›
last »
