Integrated circuit modeling

biblio

A Neural Network Trojan Detection Method Based on Particle Swarm Optimization

Submitted by grigby1 on Fri, 03/15/2019 - 10:59am

particle swarm optimization
Trojan horses
trojan horse detection
Side Channel Analysis technology
RTL circuits
pubcrawl
PSO NN method
Principal Component Analysis algorithm
principal component analysis
Power demand
power consumption data
power consumption
power aware computing
Artificial Neural Networks
particle swarm optimisation
neural network Trojan detection
neural nets
malicious modifications
invasive software
intelligent neural networks algorithm
Integrated circuit modeling
HSPICE power consumption simulation
hardware Trojan detection
Hardware
Cryptography

biblio

Building Trusted Golden Models-Free Hardware Trojan Detection Framework Against Untrustworthy Testing Parties Using a Novel Clustering Ensemble Technique

Submitted by grigby1 on Fri, 03/15/2019 - 10:59am

novel clustering ensemble method
untrustworthy testing party
untrustworthy testing parties
Unsupervised Learning
trusted hardware Trojan detection framework
Trusted Computing
Trojan horses
trojan horse detection
testing stage
testing
robust hardware Trojan detection framework
pubcrawl
pattern clustering
novel clustering ensemble technique
Clustering algorithms
invasive software
integrated circuit testing
Integrated circuit modeling
IC
hardware Trojan detection
Hardware Security
Hardware
golden models-free hardware Trojan detection framework
fabrication process
fabrication
existing hardware Trojan detection
clustering ensemble

biblio

Vulnerability Analysis of Electrical Cyber Physical Systems Using a Simulation Platform

Submitted by grigby1 on Thu, 05/24/2018 - 11:30am

power grid vulnerability analysis
Vulnerability Analysis
Vulnerability
transmission lines
Topology
splitting incident
Simulation Platform
Resiliency
resilience
pubcrawl
protection procedure
power transmission
power system security
Power system protection
power system faults
power grids
cascading failure propagation
power grid system
Power Grid
Metrics
Mathematical model
Integrated circuit modeling
IEEE 39-bus system
Generators
framework
electrical cyber physical systems
ECPS
cyber-physical systems
Cyber Attacks
Compositionality
composability
Communication networks

biblio

Using model-based simulation for augmenting Incident Command System for disaster response

Submitted by el_wehby on Tue, 05/15/2018 - 10:56pm

incident command system
sensor data
resource management
recovery operations
Planning
organizational model
national incident management system
model-based simulation
Integrated circuit modeling
information integration agent
Adaptation models
Hazardous materials
emergency services
emergency management
disaster response management
Decision support systems
decision makers
Crisis Management
Computational modeling
communications management
1528550

biblio

A Spectral Graph Sparsification Approach to Scalable Vectorless Power Grid Integrity Verification

Submitted by grigby1 on Wed, 05/09/2018 - 1:47pm

power supply circuits
vectorless verification framework
Vectorless verification
spectral power grid sparsifiers
spectral graph theory
spectral graph sparsification
Sensitivity
scalable verification
scalable vectorless power grid integrity verification
scalable multilevel integrity verification framework
Scalability
Resiliency
resilience
pubcrawl
algebraic multigrid
power grids
power grid designs
Optimization methods
nanoscale power delivery networks
Nanoscale devices
Metrics
Laplace equations
Integrated circuit modeling
integrated circuit design
graph-theoretic algebraic multigrid algorithmic framework
graph theory
graph sparsification
Compositionality

biblio

Introducing TFUE: The Trusted Foundry and Untrusted Employee Model in IC Supply Chain Security

Submitted by grigby1 on Tue, 05/01/2018 - 10:35am

pubcrawl
VLSI
trusted foundry and untrusted employee model
Trojan horses
supply chain security
security
Scalability
Resiliency
resilience
double patterning lithography
mask development lines
lithography
Layout
Integrated circuit modeling
IC supply chain security
Human behavior
Foundries
fabrication

biblio

Hardware Trojan Detection Based on Correlated Path Delays in Defiance of Variations with Spatial Correlations

Submitted by grigby1 on Wed, 04/11/2018 - 2:01pm

intradie variation
Trojan horses
trojan horse detection
spatial correlations
Solid modeling
side channel analysis
Resiliency
resilience
pubcrawl
Process Variations
path delay ratio
path delay
minimally invasive Trojans
malicious circuit
Logic gates
invasive software
composability
interdie variation
Integrated circuit modeling
Integrated circuit interconnections
Image edge detection
HT inserted circuits
HT detection methods
HT detection method
hardware Trojan detection
Hardware Security
delays
cyber physical systems
Cryptography
Correlation
correlated path delays

biblio

Combinational Hardware Trojan Detection Using Logic Implications

Submitted by grigby1 on Wed, 04/11/2018 - 2:00pm

logical implications
valid logic implications
Trojan horses
trojan horse detection
security
Resiliency
resilience
pubcrawl
proof-of-concept demonstration
potential benefit
Payloads
combinational circuits
logic simulation
Logic gates
logic design
invasive software
Integrated circuit modeling
Hardware
cyber physical systems
composability
combinational hardware trojan detection

biblio

A Novel Hardware Trojan Detection with Chip ID Based on Relative Time Delays

Submitted by grigby1 on Wed, 04/11/2018 - 1:59pm

pubcrawl
Wires
Trojan horses
trojan horse detection
transient based post-layout simulation
time-delay
side-channel signal
sensor chains
sensor chain
security
RTD
Resiliency
resilience
relative time delays
chip ID
NMOS
Layout
Inverters
Integrated circuit modeling
Integrated circuit interconnections
hardware Trojan detection method
hardware trojan
Hardware
golden chip
delays
cyber physical systems
composability

biblio

A General Framework of Hardware Trojan Detection: Two-Level Temperature Difference Based Thermal Map Analysis

Submitted by grigby1 on Wed, 04/11/2018 - 1:59pm

Temperature measurement
Mathematical model
normal circuits
operating chip
power proportion magnitude
pubcrawl
resilience
Resiliency
serious threats
Kalman filters
Thermal analysis
Thermal map analysis
thermal map analysis detection method
trojan horse detection
Trojan horses
two-level temperature difference
White noise
commercial chips
Kalman filter algorithm
Kalman filter
invasive software
Integrated circuit modeling
integrated circuit design
infrared imaging
hardware Trojan detection
Hardware
general framework
field programmable gate arrays
equivalent circuits
differential thermal maps
differential temperature
cyber physical systems
composability

« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

Integrated circuit modeling

A Neural Network Trojan Detection Method Based on Particle Swarm Optimization

Building Trusted Golden Models-Free Hardware Trojan Detection Framework Against Untrustworthy Testing Parties Using a Novel Clustering Ensemble Technique

Vulnerability Analysis of Electrical Cyber Physical Systems Using a Simulation Platform

Using model-based simulation for augmenting Incident Command System for disaster response

A Spectral Graph Sparsification Approach to Scalable Vectorless Power Grid Integrity Verification

Introducing TFUE: The Trusted Foundry and Untrusted Employee Model in IC Supply Chain Security

Hardware Trojan Detection Based on Correlated Path Delays in Defiance of Variations with Spatial Correlations

Combinational Hardware Trojan Detection Using Logic Implications

A Novel Hardware Trojan Detection with Chip ID Based on Relative Time Delays

A General Framework of Hardware Trojan Detection: Two-Level Temperature Difference Based Thermal Map Analysis