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
integrated circuits
biblio
Special Session: Countering IP Security Threats in Supply Chain
Submitted by
grigby1
on Thu, 03/12/2020 - 12:09pm
Data models
electronic engineering computing
Human behavior
integrated circuit design
integrated circuit fabrication
integrated circuit manufacture
integrated circuit technology
integrated circuits
internet
invasive software
IP security threats
learning (artificial intelligence)
learning-based trust verification
logic design
logic locking schemes
machine learning
Monitoring
production engineering computing
Protocols
pubcrawl
resilience
Resiliency
reverse engineering
Scalability
Supply Chain
supply chain management
supply chain security
tagging
telecommunication security
Training
Trojan insertion
Valves
biblio
Secure Memory for Embedded Tamper-Proof Systems
Submitted by
grigby1
on Mon, 03/02/2020 - 1:32pm
Aerospace electronics
change memory contents
Cryptography
data change scenaria
Data protection
embedded systems
embedded tamper-proof systems
Human behavior
Human Factors
Integrated circuit modeling
integrated circuits
memory cell circuitry
memory data change
memory data leakage protection
memory instability
Memory management
memory supply voltage manipulation
metastability
Metrics
protection circuitry
pubcrawl
Scalability
secure memory
security of data
storage management
Tamper resistance
tamper-proof embedded systems
tamper-proof system
Tamper-Resistance
Trusted Component
Voltage measurement
biblio
Experimental Verification of Security Measures in Industrial Environments
Submitted by
aekwall
on Mon, 03/02/2020 - 12:29pm
security of data
Scalability
Hardware
Software
Resiliency
pubcrawl
Metrics
production engineering computing
Anomaly Detection
integrated circuits
Firewalls (computing)
verification
Human Factors
industrial control
ICs
control engineering computing
security measures
formal verification
ICS technology
industrial assets
industrial control security
industrial environments
vICS verification framework
Ubiquitous Computing Security
biblio
Increasing the SAT Attack Resiliency of In-Cone Logic Locking
Submitted by
grigby1
on Wed, 02/26/2020 - 4:48pm
circuit netlist
Electronics packaging
Hardware
Hardware Security
in-cone logic locking
in-cone techniques
integrated circuits
integrated logic circuits
Iterative methods
key gate selection
logic design
Logic gates
logic locking
manufacturing
maximum fanout free cones
MFFC based algorithm
pubcrawl
removal attack
resilience
Resiliency
SAT attack
SAT attack resiliency
satisfiability attack
security
biblio
When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans
Submitted by
grigby1
on Wed, 02/26/2020 - 4:39pm
analog attacks
capacitor-enabled attacks
Capacitors
charge-domain leakage paths
charge-domain models
charge-domain trojans/vulnerabilities
circuit-level properties
cyber physical systems
Digital circuits
formal method driven design
Hardware
IC supply chain
information flow tracking based solution
information leakage paths
integrated circuit industry
Integrated circuit modeling
integrated circuits
invasive software
pubcrawl
resilience
Resiliency
supply chain security
testing
trojan detection approaches
trojan horse detection
Trojan horses
biblio
Golden Gates: A New Hybrid Approach for Rapid Hardware Trojan Detection Using Testing and Imaging
Submitted by
grigby1
on Wed, 02/26/2020 - 4:38pm
backside ultra thinning
commercial systems
cyber physical systems
detection method
exhaustive test infrastructure
existing gate footprints
Foundries
GGC
golden chip
golden gate circuits
grave threat
Hardware
Hardware Trojans
high classification accuracy
high time cost
Image analysis
Imaging
integrated circuits
invasive software
Logic gates
Logic Test
low accuracy
malicious modifications
microscopy
modern military systems
new hybrid approach
pubcrawl
rapid hardware trojan detection
resilience
Resiliency
reverse engineering
scanning electron microscopy
security
SEM images
superlative accuracy
supply chain security
trojan horse detection
Trojan horses
biblio
Synthesis of Discrete Complex Nonlinear Signals with Necessary Properties of Correlation Functions
Submitted by
aekwall
on Mon, 02/17/2020 - 2:23pm
telecommunication security
Resiliency
pubcrawl
composability
Cryptography
Metrics
Correlation
privacy
channel coding
integrated circuits
signal processing security
correlation methods
information security
wireless channels
information and communication systems
Broadband communication
radiofrequency interference
autocorrelation properties
channels code division
correlation function
correlation functions
cryptographic signal
discrete complex nonlinear signals
discrete sequence
distributed spectrum technology
finite field
ICS applications
interference (signal)
isomorphism
multiuser detection
multiuser systems
nonlinear discrete cryptographic signals
nonlinear discrete sequences
pseudorandom sequences
radio spectrum management
Random sequences
signal detecting
telecommunication systems
biblio
Implementation and Evaluation of a Multi-Factor Web Authentication System with Individual Number Card and WebUSB
Submitted by
aekwall
on Mon, 02/10/2020 - 12:03pm
Servers
Cryptography
Resiliency
pubcrawl
Metrics
internet
Internet users
Cybersecurity
authentication
password
Public key
integrated circuits
Human Factors
Digital identity
Pins
multifactor authentication
cryptographic authenticator
Individual Number Card
Multi-factor authentication
multifactor web authentication system
public personal identification service
WebUSB
biblio
Hardware Trojan Detection Combine with Machine Learning: an SVM-based Detection Approach
Submitted by
aekwall
on Mon, 02/10/2020 - 11:43am
security
field programmable gate arrays
Hardware
Kernel
invasive software
Support vector machines
learning (artificial intelligence)
machine learning
Resiliency
pubcrawl
composability
Training
Trojan horses
integrated circuits
Predictive Metrics
hardware trojan
hardware Trojan detection
IC
SAKURA-G circuit board
side-channel analysis
side-channel analysis (SCA)
support vector machine (SVM)
support vector machine classifier
SVM-based detection approach
Trojan detection
Trojan detection rate
Xilinx SPARTAN-6
Microelectronics Security
biblio
Understanding Security Requirements for Industrial Control System Supply Chains
Submitted by
grigby1
on Tue, 01/21/2020 - 12:16pm
supply chain security
Computer crime
control engineering computing
control system security
cyber-physical infrastructures
cyber-physical systems
Decision Making
human issues
industrial control
Industrial Control Systems
Industrial Control Systems Anomaly Detection
integrated circuits
Iran
malware
Natanz city
nuclear facility
organisational aspects
organizational aspects
Organizations
pubcrawl
resilience
Resiliency
risk assessment
risk decision-making
risk management
Scalability
security industrial control system supply chains
security requirements
Standards organizations
stuxnet attack
supply chain management
supply chain risk assessment
supply chains
1
2
3
4
5
6
7
8
next ›
last »
