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
Read-only archive of site from September 29, 2023.
CPS-VO
Radiation detectors
biblio
Test and Verification Environment and Methodology for Vernier Time-to-Digital Converter Pixel Array
Submitted by grigby1 on Tue, 03/15/2022 - 12:12pm
Monte Carlo methods
scalable verification
Vernier
time-to-digital converter
SystemVerilog
Radiation detectors
pixel radiation detectors
object oriented programming
Time measurement
pubcrawl
Compositionality
Metrics
Buildings
Object oriented modeling
object-oriented programming
Scalability
Resiliency
resilience
biblio
The positive force of deterrence: Estimating the quantitative effects of target shifting
Submitted by aekwall on Wed, 12/18/2019 - 2:37pm
counter piracy
Terrorism
target shifting
stopping performance
Radiation detectors
low performance security
game theoretic approach
force multiplier
Force measurement
false alarm
deterrence force
counterterrorism
security of data
Deterrence
risk analysis
protection system
resilience
uncertainty
Force
pubcrawl
Human behavior
game theory
Scalability
biblio
Detection of DDoS attack via deep packet analysis in real time systems
Submitted by grigby1 on Wed, 09/12/2018 - 11:25am
known attack patterns
telecommunication traffic
Scalability
Resiliency
resilience
real-time systems
real time systems
Radiation detectors
pubcrawl
packet filtering
Monitoring
Libraries
Computer crime
Internet technologies
internet
Filtering
deep packet inspection
deep packet analysis
DDoS Attack
Databases
cyber security
Cyber Attacks
computer network security
biblio
Provable security analysis of complex or smart computer systems in the smart grid
Submitted by grigby1 on Wed, 02/21/2018 - 1:50pm
smart computer systems
power engineering computing
power system security
provable security analysis
pubcrawl
Radiation detectors
resilience
Resiliency
Scalability
security of data
simple promela interpreter
Ports (Computers)
Smart Grid
smart grid security
smart power grids
smart system
SPIN
Temporal Logic
temporal logics
Transition System
TS
Formal Specification
access control mechanism
ACM
authorisation
automata
automata theory
Büchi Automaton
computer security
formal security
formal security analysis
provable security
formal verification
FSA
Linear Temporal Logics
LTL
Mathematical model
Metrics
model checking
operating system
OS
biblio
\#x03BC;Leech: A Side-Channel Evaluation Platform for IoT
Submitted by grigby1 on Tue, 02/06/2018 - 1:59pm
side-channel
Protocols
pubcrawl
Radiation detectors
Resiliency
Resistance
Resistors
security critical applications
security of data
power trace acquisition
side-channel evaluation platform
smart phone
smart phones
square point-of-sale reader
telecommunication security
trusted platform modules
wireless channels
μLeech
IoT
clock manipulation attack
composability
computer network security
cryptographic services
Cryptography
embedded trusted platform module
internet
Internet of Things
Capacitors
IoT device
Low power
microphone-speaker interface
microphones
next generation networks
next generation power scavenging devices
physical security analysis
biblio
Implementation of GPS signal simulation for drone security using Matlab/Simulink
Submitted by grigby1 on Wed, 12/20/2017 - 12:59pm
signal data
Jamming
Mathematical model
noise models
P code
radio receivers
radiofrequency interference
Satellite broadcasting
Satellites
IF GPS signal
signal processing
signal processing algorithm
Signal to noise ratio
Signal-to-noise ratio (SNR)
simulated signals
simulation model
spoofing-jamming interference
signal processing security
Drone security
pubcrawl
Resiliency
privacy
composability
Radiation detectors
Generators
carrier-to-noise ratio estimation
digital intermediate frequency GPS signal
Metrics
drone security applications
Global Positioning System
GPS receivers
GPS signal generator
GPS signal simulation
GPS spoofing signal generation
IF (intermediate frequency) signals
biblio
Modeling of countermeasure against self-evolving botnets
Submitted by grigby1 on Mon, 12/04/2017 - 12:57pm
Markov chains
zombie computers
Viruses (medical)
Software
simulation experiments
self-evolving botnets
Resiliency
Radiation detectors
pubcrawl
Metrics
Markov processes
botnets
malicious attackers
machine learning
learning (artificial intelligence)
invasive software
digital simulation
computing resources
Computers
Computational modeling
Compositionality
biblio
SDSM: Fast and scalable security support for directory-based distributed shared memory
Submitted by grigby1 on Fri, 11/03/2017 - 11:30am
public clouds
single-threaded applications
shared memory
security of data
security layer
security
secure parallel applications
secure CPU architectures
SDSM
Scalable Security
Scalability
Radiation detectors
Coherence
pubcrawl
parallel computation
hardware approach
Hardware
encryption
Electrical Engineering
DSM
distributed shared memory systems
distributed computation
directory-based distributed shared memory systems
directory
biblio
Hardware security assurance in emerging IoT applications
Submitted by grigby1 on Thu, 04/20/2017 - 12:40pm
IoT connected devices
Trojan horses
thwart hardware Trojan attack
side-channel analysis attack
Security Assurance
Scalability
Resiliency
Radiation detectors
pubcrawl
network on chip security
network on chip
network-on-chip
low-cost dynamic permutation method
IoT processing unit
accumulated partial guessing entropy
invasive software
Internet-of-Things (IoT)
Internet of Things
hardware trojan
hardware security assurance
Hardware Security
hardware attacks
Hardware
Cryptography
computation power
composability
Cisco
biblio
An RFID-based technology for electronic component and system Counterfeit detection and Traceability
Submitted by grigby1 on Wed, 03/08/2017 - 2:32pm
production engineering computing
system counterfeit detection
supply chains
Supply Chain
Spartan 3E FPGA
Sensor Systems
RFID-based technology
RFID-based system
RFID tag
RF
radiofrequency identification
radio frequency communication
Radio frequency
Radiation detectors
pubcrawl170112
counterfeit goods
printed slot antenna
printed circuits
printed circuit board
PCB prototype
on-chip sensors
multiple counterfeit IC types
microstrip antennas
in-system structures
field programmable gate arrays
Electronic components
electronic component
device provenance
CST
counterfeit integrated circuits
1
2
next ›
last »
