Integrated circuit modeling

biblio

When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans

Submitted by grigby1 on Wed, 02/26/2020 - 3:39pm

information leakage paths
Trojan horses
trojan horse detection
trojan detection approaches
testing
supply chain security
Resiliency
resilience
pubcrawl
invasive software
integrated circuits
Integrated circuit modeling
integrated circuit industry
analog attacks
information flow tracking based solution
IC supply chain
Hardware
formal method driven design
Digital circuits
cyber physical systems
circuit-level properties
charge-domain trojans/vulnerabilities
charge-domain models
charge-domain leakage paths
Capacitors
capacitor-enabled attacks

biblio

Ensemble-Learning-Based Hardware Trojans Detection Method by Detecting the Trigger Nets

Submitted by grigby1 on Wed, 02/26/2020 - 3:38pm

resilience
Trojan types
Trojan horses
trojan horse detection
Trojan circuits
Trigger-net features
Training data
Training
suspicious Trigger nets
supply chain security
security
Resiliency
cyber physical systems
pubcrawl
learning (artificial intelligence)
Integrated circuit modeling
integrated circuit design
IC systems
IC design phase
hardware-Trojan detection method
Hardware
feature extraction
ensemble learning method

biblio

LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection

Submitted by grigby1 on Wed, 02/26/2020 - 3:38pm

LAOCOON
verification rules
Trojan horses
trojan horse detection
temporal properties
supply chain security
sensitive information
security
Safety
run-time verification
run-time monitoring
Resiliency
resilience
pubcrawl
Monitoring
malicious inclusions
active fault attacks
invasive software
Integrated circuit modeling
hardware Trojan horses
hardware Trojan detection
Hardware Security
Hardware
generic attackers
formal verification techniques
formal verification
Fault Attacks
electronic systems
dedicated monitoring circuits
cyber physical systems
Circuit faults
automata

biblio

Hardware Trojans Detection at Register Transfer Level Based on Machine Learning

Submitted by grigby1 on Wed, 02/26/2020 - 3:37pm

Libraries
Trojan horses
trojan horse detection
training database
Training
supply chain security
source code (software)
shift registers
server-client mechanism
RTL source codes
Resiliency
resilience
register transfer level
pubcrawl
machine-learning-based detection method
circuit features extraction
learning (artificial intelligence)
invasive software
integrated circuits design process
Integrated circuit modeling
integrated circuit design
Hardware Trojans library
Hardware Trojans detection
Hardware
flip-flops
feature extraction
electronic engineering computing
database management systems
cyber physical systems

biblio

S℡LAR: A Generic EM Side-Channel Attack Protection through Ground-Up Root-Cause Analysis

Submitted by grigby1 on Tue, 02/18/2020 - 10:52am

signature attenuation hardware
low-overhead solution
Metals
Metrics
noninvasive attacker
noninvasive electromagnetic side-channel attacks
power side-channel countermeasures
Probes
pubcrawl
resilience
Resiliency
resource-constrained Internet-connected devices
Routing
side-channel analysis attacks
signature attenuation embedded CRYPTO
low-level metal routing
size 32.0 nm
size 65.0 nm
S℡LAR
S℡LAR hardware
system-level EM simulations
system-level implementation
telecommunication network routing
top-level metal layers
TSMC 65 nm CMOS technology
two-stage solution
white-box analysis
white box cryptography
white-box understanding
external attacker
composability
critical encryption signature
critical signal radiation
Cryptographic Hardware
Cryptography
EM leakage
EM probes
EM SCA attack
EM Side-channel attack
encryption
entire cryptographic core
entire crypto IP
example cryptographic block
CMOS integrated circuits
frequency 40.0 MHz
Generic countermeasure
generic EM side-channel attack protection
Ground-up EM Leakage Modeling
ground-up root-cause analysis
higher-level metal layers
high-resolution electromagnetic probes
integrated circuit
Integrated circuit modeling
Intel 32 nm CMOS technology interconnect stack
internet
lower-level metal layers
lower-level metal routing

biblio

Developing Battery of Vulnerability Tests for Industrial Control Systems

Submitted by grigby1 on Tue, 01/21/2020 - 11:16am

Integrated circuit modeling
vulnerability tests
test environment
Servers
security
Scalability
Resiliency
resilience
pubcrawl
Protocols
production engineering computing
intrusion prevention systems
Intrusion Detection Systems
Intrusion Detection
Industrial Control Systems Anomaly Detection
information security
Industrial Control Systems
industrial control
Industrial Communication
IEC standards
ICS/IDS systems
ICS networks
ICS area
data generator
control engineering computing
connected environment
computer network security
attack vector

biblio

Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support

Submitted by aekwall on Mon, 01/20/2020 - 11:00am

Hardware
tools
security-critical hardware implementations
Scalability
Resiliency
pubcrawl
Post /Pre silicon analysis
multiple fault injection support
Mathematical model
Lightweight Ciphers
lightweight block ciphers
Integrated circuit modeling
idealized fault models
hardware-oriented structural cipher descriptions
hardware-oriented framework
hardware-oriented algebraic fault attack framework
actual implementation
framework
field-programmable gate array platform
field programmable gate arrays
fault injector
Fault injction attack
Cryptography
conjunctive normal form clauses
Circuit faults
Ciphers
cipher implementations
Cipher
Analytical models
algebraic fault attack tool
algebraic equations
algebra

biblio

SIMULATION OF QUANTUM ENCODER DECODER WITH FLIP BIT ERROR CORRECTION USING REVERSIBLE QUANTUM GATES

Submitted by grigby1 on Tue, 10/08/2019 - 3:42pm

QEC
security
Scalability
reversible quantum gates
Resiliency
resilience
Quantum technology
quantum noise
quantum information
quantum gates
Quantum error correction
quantum encoder & decoder
quantum cryptography
quantum computing security
quantum computing
Quantum circuit
composability
QCAD
pubcrawl
Metrics
Logic gates
logic circuits
Integrated circuit modeling
flip bit error correction
faulty quantum gates
fault-tolerant quantum computation
error correction codes
error correction
Decoding
Computational modeling
computation process

biblio

Analytical Model of Torque-Prediction for a Novel Hybrid Rotor Permanent Magnet Machines

Submitted by aekwall on Mon, 09/30/2019 - 9:08am

Resiliency
Magnetic cores
magnetic equivalent circuit model
magnetic equivalent circuit model (MECM)
magnetic field analysis model
magnetic fields
Magnetic flux
MFAM
permanent magnet machines
PM remanence BreB
pubcrawl
remanence
Magnetic circuits
rotor core outer-surface eccentric
Rotors
Saturation magnetization
segmentation calculation
spoke-type rotor
STR
surface-mounted PMs
Thevenin's theorem
Torque
torque-prediction
FEA
air-gap flux density
Analytical method
analytical model
Atmospheric modeling
back-EMF
boundary condition
composability
Electric potential
electromagnetic torque density
equivalent circuits
Air gaps
finite element analysis
flux linkage
HRS
hybrid PM rotor structure
hybrid rotor permanent magnet machines
hybrid rotor structure
hybrid structure rotor
Integrated circuit modeling
Laplace equations
Laplace's equation

biblio

A Co-Training Based Hardware Trojan Detection Technique by Exploiting Unlabeled ICs and Inaccurate Simulation Models

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

Integrated circuit modeling
unlabeled ICs
unlabeled IC
unlabeled fabricated IC
Trojan horses
trojan horse detection
Training
simulated IC
Silicon
reliable detection capability
pubcrawl
pattern classification
learning (artificial intelligence)
invasive software
accurate classification model
inaccurate simulation models
IC labeling
hardware Trojan detection
Hardware Security
Hardware
golden chip
fabrication
fabricated golden chips
co-training based hardware Trojan detection technique
co-training
classification-based golden chips-free hardware Trojan detection technique
Classification algorithms
actual silicon fabrication

« 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

When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans

Ensemble-Learning-Based Hardware Trojans Detection Method by Detecting the Trigger Nets

LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection

Hardware Trojans Detection at Register Transfer Level Based on Machine Learning

S℡LAR: A Generic EM Side-Channel Attack Protection through Ground-Up Root-Cause Analysis

Developing Battery of Vulnerability Tests for Industrial Control Systems

Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support

SIMULATION OF QUANTUM ENCODER DECODER WITH FLIP BIT ERROR CORRECTION USING REVERSIBLE QUANTUM GATES

Analytical Model of Torque-Prediction for a Novel Hybrid Rotor Permanent Magnet Machines

A Co-Training Based Hardware Trojan Detection Technique by Exploiting Unlabeled ICs and Inaccurate Simulation Models