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
Digital circuits
biblio
Multi Feedback LFSR Based Watermarking of FSM
Submitted by grigby1 on Mon, 10/03/2022 - 12:20pm
Hardware design languages
signal processing
pubcrawl
policy-based governance
resilience
Hardware
composability
intellectual property
Watermarking
ip protection
Resiliency
LFSR
Digital circuits
hardware utilization
Multi-feedback
biblio
Design of an Augmented Reality System for Immersive Learning of Digital Electronic
Submitted by grigby1 on Wed, 02/03/2021 - 1:08pm
immersive learning
tools
resilience
pubcrawl
privacy
Multimedia systems
mobile learning
mobile computing
Mobile Applications
Mobile Application
Logic gates
Libraries
ios
interactive systems
interactive app
immersive systems
Human Factors
Human behavior
electronic engineering education
electronic engineering computing
education
digital electronics
Digital circuits
cyber physical systems
computer aided instruction
composability
Cameras
augmented reality system
augmented reality
biblio
When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans
Submitted by grigby1 on Wed, 02/26/2020 - 4: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
Secured Dual-Rail-Precharge Mux-based (DPMUX) symmetric-logic for low voltage applications
Submitted by grigby1 on Mon, 06/11/2018 - 3:48pm
processed data
Metrics
Microelectronics Security
PAA
power analysis attacks
power consumption
Power dissipation
private key cryptography
probability
Probability distribution
low-power electronics
pubcrawl
resilience
Resiliency
secret cryptographic keys
secured dual-rail-precharge mux
side channel attack
Signal to noise ratio
Switches
DPMUX symmetric-logic
average power dissipation
clock cycle
combinatorial logic
composability
cryptographic algorithms
Cryptography
delays
deterministic power
Digital circuits
activity factor
dynamic switching energy
Hardware implementations
Information Leakage
linear relationship
logic circuits
logic design
Logic gates
low voltage applications
biblio
The Technology of the Gaps: An Evolvable Hardware Synthesized Oscillator for the Control of a Flapping-Wing Micro Air Vehicle
Submitted by el_wehby on Thu, 05/17/2018 - 6:51pm
Force
vehicles
Presses
Oscillators
mobile robots
microrobots
Hardware
FWMAV project
frequency control
aerospace control
flapping-wing micro air vehicle control
evolvable hardware synthesized oscillator
evolvable and adaptive hardware
evolutionary computation
EAH design integration principles
drop-in replacements
Digital circuits
aircraft control
1239196
biblio
Reverse Engineering Digital Circuits Using Structural and Functional Analyses
Submitted by BrandonB on Wed, 05/06/2015 - 11:42am
reverse engineering
integrated circuit design
integrated circuits
intellectual property
invasive software
IP theft
IP violation detection
Logic gates
register files
Inference algorithms
SoC design
structural analysis
subtractors
system-on-chip
test circuits
Trojan horses
unstructured netlist
very large highly-optimized system-on-chip design
functional analysis
Algorithm design and analysis
algorithmic reverse engineering digital circuits
combinational elements
computer security
counters
design automation
Digital circuits
formal verification
adders
Globalization
globalized multivendor environment
Hardware
hardware trojans-malware
high-level netlist
ICs
industrial property