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
timing
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
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Hardware
Protocols
Resiliency
pubcrawl
Computational modeling
standards
Formal Specification
verification
timing
Scalability
Predictive Metrics
Prototypes
Compositionality
formal verification
Clang
hardware description languages
Object oriented modeling
scalable verification
Computer simulation
design verification
Electronic System Level
semiconductor industry
simulation behavior
Simulation-based Verification
SystemC
SystemC language
SystemC VP
SystemC-based virtual prototypes
systems analysis
TLM
TLM-2.0 rules
Transaction Level Modeling framework
Virtual Prototype
virtual prototyping
biblio
Adaptive Network Management for Safety-Critical Systems
Submitted by
aekwall
on Mon, 03/09/2020 - 11:13am
security
computer network security
Scalability
telecommunication traffic
computer network management
software defined networking
Resiliency
pubcrawl
Routing
optimization
optimisation
telecommunication network routing
software-defined networking
Bandwidth
resilience
Safety
timing
computer network reliability
Device-to-device communication
adaptive network management
complex network configurations
Dijkstra algorithm
fault diagnosis
optimization algorithm
Safety-Critical Systems
Security Heuristics
predictability
biblio
Feasibility of a Keystroke Timing Attack on Search Engines with Autocomplete
Submitted by
grigby1
on Tue, 01/28/2020 - 2:36pm
autocomplete
browser
Browsers
computer network security
HTTP requests
Human behavior
Human Factors
hypermedia
information leakage measurement
keyboard input events
Keyboards
keylogging
keylogging side channel attack
keystroke analysis
keystroke timing attack
Metrics
Mutual information
network traffic
packet inter-arrival times
Presses
pubcrawl
search engine
search engines
search predictions
Servers
Side Channel
telecommunication traffic
timing
Traffic analysis
transport protocols
user query input field
Vulnerability
website
Web sites
biblio
Keystroke Based User Authentication Using Modified Differential Evolution
Submitted by
grigby1
on Tue, 01/28/2020 - 2:36pm
Anomaly Detection
authentication
Human behavior
Human Factors
keystroke analysis
keystroke dynamics
Metrics
Modified Differential Evolution
password
Presses
pubcrawl
Subspace Anomaly Detection
Task Analysis
timing
Training
user authentication
biblio
Keystroke Dynamics Using Auto Encoders
Submitted by
grigby1
on Tue, 01/28/2020 - 2:35pm
anomalous typing patterns
authentication
authorisation
autoencoders
biometrics (access control)
credential based authentication systems
Cyber Attacks
digital signature
digital signatures
dynamic flags
feature extraction
fraud
Heuristic algorithms
Human behavior
Human Factors
individual user
keystroke analysis
keystroke dynamics
Keystrokes Dynamics
learning (artificial intelligence)
machine learning
message authentication
Metrics
password
pubcrawl
risk based approach
stolen credentials
timing
Training
biblio
Timing Analysis for Diffie Hellman Key Exchange In U-BOOT Using Raspberry Pi
Submitted by
grigby1
on Mon, 12/30/2019 - 2:18pm
cryptographic
cryptographic era
Cryptographic Protocols
Cryptography
DHKE protocol
diffie hellman key exchange
Diffie Hellman Key Exchange protocol
Discrete Log Hard Problem
embedded device
embedded systems
exponentiation
firmware
Force
GMP bignum library
Metals
modular exponentiation
networked embedded systems security
Protocols
pubcrawl
public key cryptography
Raspberry Pi
Raspberry-pi
Resiliency
Scalability
Secret key
security schemes
side channel attack
system-on-chip
telecommunication security
timing
Timing attack
timing attacks
timing patterns
tools
U-Boot bare metal
unsecure communication channel
word length 2048.0 bit
word length 64.0 bit
biblio
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Submitted by
grigby1
on Tue, 12/17/2019 - 12:22pm
resilience
pubcrawl
Metrics
Resiliency
composability
cyber-physical systems
cyber-physical system
Symbolic Execution
Concurrency
cache
Side-channel attack
timing
Predictive Metrics
biblio
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers
Submitted by
aekwall
on Mon, 12/02/2019 - 12:07pm
Scalability
Cryptography
Cryptographic Protocols
Program processors
Resiliency
pubcrawl
Metrics
standards
optimization
Libraries
optimisation
program verification
timing
Security Properties
Compositionality
program compilers
C
C abstract machine
C++ language
careful programmer
Clang
compiler commands
Compiler Optimization
compiler optimizations
compiler performance
compiler upgrade
compiler writers
compilers
constant-time
CPUs
crypto code
cryptographic algorithm
cryptographic protocol security
erasing
implicit properties
language security
LLVM
mainstream C compilers
secure code
Security Engineers
side channels
side effects
stack
timing channel
zeroing
compiler security
biblio
Dummy Traffic Generation to Limit Timing Covert Channels
Submitted by
grigby1
on Thu, 09/05/2019 - 11:24am
resilience
Scalability
Cybersecurity
Bandwidth
computer network security
Entropy
IP networks
telecommunication traffic
Compositionality
Receivers
channel capacity
covert channels
timing
covert channel
security policy
covert channel capacity formula
dummy traffic
dummy traffic generation
hidden communication
hidden transmit information
Information Leakage
IP timing covert channels
timing channel
1
2
3
4
next ›
last »
