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
Logic gates
biblio
A Robust Malware Detection System Using Deep Learning on API Calls
Submitted by
grigby1
on Fri, 03/27/2020 - 11:37am
Logic gates
deep learning
learning (artificial intelligence)
collaboration
feature extraction
Neural networks
pubcrawl
policy-based governance
composability
malware
invasive software
sandboxing
application program interfaces
cuckoo sandbox
API
API calls
API sequences
BLSTM
component
computer security
malware detection
massive datasets
massive malware
neural nets
Object oriented modeling
redundant API
robust malware detection system
biblio
HyperPS: A Hypervisor Monitoring Approach Based on Privilege Separation
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
Cloud Computing
cloud environment
collaboration
guest virtual machine security
Human behavior
Human Factors
HyperPS
hypervisor monitoring
hypervisor security
Kernel
KVM hypervisor
Linux
Logic gates
Metrics
microhypervisor reducing attack surface
Monitoring
monolithic operating system
operating system kernels
policy-based governance
privilege separation
pubcrawl
Registers
resilience
Resiliency
Safe Coding
security
security of data
security-sensitive system resources
system monitoring
system software error
Trusted Computing
trusted environment
Virtual machine monitors
virtual machines
Virtualization
biblio
A Hierarchical Approach to Self-Timed Circuit Verification
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Resiliency
pubcrawl
Computational modeling
Iterative methods
Logic gates
timing
Scalability
Predictive Metrics
Compositionality
Wires
Integrated circuit modeling
hardware description languages
scalable verification
Theorem Proving
ACL2 theorem prover
arbitrated merge
asynchronous circuit modeling
asynchronous circuit verification
combinational circuits
flip-flops
greatest common divisor
greatest common divisor circuit model
hardware description language
hierarchical verification
iterative self-timed circuits
Latches
link joint model
link-joint style
mechanical theorem proving
non deterministic behavior
self-timed circuit verification
timing circuits
biblio
Input Elimination Transformations for Scalable Verification and Trace Reconstruction
Submitted by
aekwall
on Mon, 03/16/2020 - 10:38am
Resiliency
pubcrawl
computational complexity
Complexity theory
Logic gates
Scalability
Predictive Metrics
Compositionality
Registers
formal verification
model checking
2QBF variant
connectivity verification
Cost accounting
fast- lossy preprocess
input elimination transformations
input reparameterization
merging
netlist transformations
scalable verification
trace reconstruction
verification complexity
verification scalability
biblio
Quantum Cryptography on IBM QX
Submitted by
grigby1
on Wed, 03/04/2020 - 4:13pm
BB84
BB84 protocol
BB84 theoretical expected results
classical computers
composability
Compositionality
computational power
Cryptographic Protocols
cryptographic solutions
Cryptography
distributed keys
electronic transactions
encoding functions
existing classical algorithms 100% breakable
IBM QX software
intended parties
Logic gates
mathematical complexity
practical implementation results
Predictive Metrics
Protocols
pubcrawl
quantum
quantum bit commitment
quantum computation
quantum computers
quantum computing security
quantum computing
quantum cryptography
Quantum Key Distribution
quantum key distribution protocol
quantum machines
quantum protocols
Qubit
Resiliency
Scalability
security shifts
statistical analysis
telecommunication security
theoretical cryptography
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
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
Restricting Switching Activity Using Logic Locking to Improve Power Analysis-Based Trojan Detection
Submitted by
grigby1
on Wed, 02/26/2020 - 4:38pm
circuit block extraction
circuit power
cyber physical systems
design for hardware trust
fabrication foundries
gate level
Hardware
Hardware Security
hardware Trojan detection
hardware Trojan threat
HT activity
HT power
HT-infected circuits
industrial property
integrated circuit layout
intellectual properties
invasive software
IP piracy
IPS
Logic gates
logic locking
logic locking method
malicious circuits
million-gate circuits
outsourcing
PCA-based HT detection methods
power analysis-based Trojan detection
power consumption
power consumption analysis
Power demand
principal component analysis
Process Variations
pubcrawl
resilience
Resiliency
security
semiconductor companies
small sub-circuit collection
supply chain security
Switches
system-on-chip
trojan horse detection
Trojan horses
untrustworthy fabs
biblio
Regaining Insight and Control on SMGW-based Secure Communication in Smart Grids
Submitted by
aekwall
on Mon, 02/17/2020 - 2:17pm
case-specific security settings
communication protection
communication security
communication security control
critical smart grid infrastructure
Data protection
Internet of Things
internetworking
Logic gates
Metrics
network servers
performance evaluation
policy language
power engineering computing
power system security
privacy
proxy
pubcrawl
Receivers
Resiliency
Scalability
security
Smart Grid
smart grid security
Smart Grids
smart meter gateway
smart meter gateways
smart meters
smart power grids
SMGW-based secure communication control
telecommunication security
TLS
biblio
Blockchain Based Fine-Grained and Scalable Access Control for IoT Security and Privacy
Submitted by
aekwall
on Mon, 02/10/2020 - 11:43am
IoT
computer network security
Access Control
authorisation
data privacy
Internet of Things
Resiliency
pubcrawl
composability
blockchain
database
cryptocurrencies
IoT security
contracts
Logic gates
Predictive Metrics
smart contract
access control issue
access records
decentralized IoT system
fine-grained access control strategies
multiindex table struct
Permission
scalable access control
transaction
Microelectronics Security
1
2
3
4
5
6
7
8
9
…
next ›
last »
