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
Feasibility of a Keystroke Timing Attack on Search Engines with Autocomplete
Submitted by
grigby1
on Tue, 01/28/2020 - 1: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 - 1: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 - 1: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 - 1: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 - 11:22am
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 - 11:07am
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 - 10: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
biblio
Prevention of Timing Attack in Software Defined Named Data Network with VANETs
Submitted by
aekwall
on Mon, 06/10/2019 - 9:16am
attack
attacker vehicles
composability
content
data network
Interest
computer network security
internet
Internet technique
IP networks
IPv4 addressing problems
MANET
MANET Attack Mitigation
Metrics
mobile computing
named data networking
named data networks
NDN techniques
Peer-to-peer computing
Protocols
pubcrawl
Resiliency
Safety
SDN
Software
Software Defined Network
software defined networking
Software Defined Networks
TAP protocol
telecommunication network topology
timing
Timing Attack Prevention protocol
V2I communication
V2V communication
VANET
vehicle to infrastructure communication
vehicle-to-vehicle communication
vehicular
vehicular ad hoc networks
Vehicular Ad-hoc Network
biblio
Property Specific Information Flow Analysis for Hardware Security Verification
Submitted by
grigby1
on Mon, 05/20/2019 - 3:30pm
Acceleration
collaboration
Complexity theory
composability
Control Theory
Design methodology
formal verification
Hardware
hardware information flow analysis
Hardware Security
hardware security verification
hardware security vulnerabilities
Hardware Trojans
Human behavior
Human Factors
information flow analysis
information flow models
information flow security
information theoretic security
Mathematical model
Metrics
policy-based governance
potential security violations
property specific information flow analysis
property specific search
property specific trimming technique
pubcrawl
resilience
Resiliency
Scalability
security
security critical paths
security model
security of data
security property
security verification
timing
Trojan horses
unintended design flaws
biblio
Securing Concurrent Lazy Programs Against Information Leakage
Submitted by
grigby1
on Thu, 08/23/2018 - 10:57am
security
Theorem Proving
Haskell
Concurrency
cyber-physical systems
pubcrawl
composability
security of data
data privacy
Sensitivity
data structures
program diagnostics
resilience
Metrics
Libraries
Lattices
timing
Resiliency
software tools
Information Leakage
concurrency control
Agda proof assistant
concurrent lazy programs security
covert channel
functional languages
functional programming
Haskell libraries
IFC libraries
IFC tools
information-flow control tools
lazy calculus
lazy evaluation
lazy languages
lazyDup
Message systems
noninterference
security library MAC
software libraries
Writing
1
2
3
4
next ›
last »
