timing

biblio

Prevention of Timing Attack in Software Defined Named Data Network with VANETs

Submitted by aekwall on Mon, 06/10/2019 - 10: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 - 4:30pm

Acceleration
collaboration
Complexity theory
composability
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 - 11: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

biblio

A live static code analysis architecture for PLC software

Submitted by grigby1 on Thu, 06/07/2018 - 3:12pm

static analysis
pubcrawl
Human behavior
composability
software engineering
Software
computer architecture
tools
program diagnostics
resilience
control engineering computing
timing
Resiliency
IEC standards
debugging
static code analysis
development process
IEC 61131-3
live static code analysis architecture
PLC software
programmable controllers
regular compiler

biblio

14.3 A 28nm SoC with a 1.2GHz 568nJ/prediction sparse deep-neural-network engine with \#x003E;0.1 timing error rate tolerance for IoT applications

Submitted by grigby1 on Thu, 06/07/2018 - 3:07pm

1.2GHz 568nJ/prediction sparse deep-neural-network engine
28nm SoC
aggregate timing violation rates
algorithmic error tolerance
algorithmic resilience
circuit resilience
circuit-level timing violation tolerance
data sparsity
datapath logic
Energy Efficiency
Engines
Error analysis
FCLK scaling
frequency 1 GHz
frequency 1.2 GHz
frequency 667 MHz
Internet of Things
IoT applications
neural nets
Neural Network Resilience
Program processors
programmable FC-DNN accelerator design
pubcrawl
Razor timing violation detection
resilience
Resiliency
sign-magnitude number format
system-on-chip
Throughput
timing
timing error rate tolerance
VDD scaling

biblio

An assessment of vulnerability of hardware neural networks to dynamic voltage and temperature variations

Submitted by grigby1 on Thu, 06/07/2018 - 3:06pm

adders
Biological neural networks
CNN
dynamic voltage
Hardware
hardware neural networks
learning (artificial intelligence)
Logic gates
medical applications
MLP
multilayer perceptrons
natural language processing
neural nets
neural network algorithms
Neural Network Resilience
problem solving
pubcrawl
resilience
Resiliency
Speech recognition
temperature variations
timing

biblio

On Secure Implementations of Quantum-Resistant Supersingular Isogeny Diffie-Hellman

Submitted by grigby1 on Wed, 05/30/2018 - 4:06pm

ALU
Cryptographic Protocols
Cryptography
Differential Power Analysis
double-point multiplication
ECDH key exchange
Electronic mail
elliptic curve Diffie-Hellman key exchange
elliptic curve isomorphism
Elliptic curves
elliptic curve theory
Fault Attacks
Fermat little theorem inversion
Hardware
hardware architectures
isogeny-based cryptography
oracle attacks
Post-quantum cryptography
Protocols
pubcrawl
public key cryptography
quantum computing
quantum-resistant SIDH protocol
quantum-resistant supersingular isogeny Diffie-Hellman protocol
random number generation
resilience
Resiliency
Scalability
secret kernel point
secret scalars
side-channel analysis
signature based defense
simple power analysis
timing
timing attacks
true random number generator

biblio

Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving

Submitted by el_wehby on Fri, 05/25/2018 - 4:23pm

Automotive engineering
Autonomous automobiles
Autonomous Driving
computer architecture
control engineering computing
design metrics validation
hardware architecture
heterogeneous components
mechanical engineering computing
mobile robots
next generation automotive architecture modeling
optimisation
optimization
road vehicles
security
sensors
Software
Software Architecture
system integration
timing
1553757

biblio

CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles

Submitted by el_wehby on Fri, 05/25/2018 - 4:23pm

Analytical models
Computational modeling
CONVINCE framework
cross-layer modeling exploration and validation framework
holistic environment
Mathematical model
next generation networks
next-generation autonomous vehicles
next-generation connected vehicle
next-generation semiautonomous vehicles
security
Software
timing
V2I communication network
V2V communication network
vehicle-to-infrastructure applications
vehicle-to-vehicle applications
vehicles
vehicular ad hoc networks
1553757

biblio

Optimized event notification in CAN through in-frame replies and Bloom filters

Submitted by el_wehby on Mon, 05/14/2018 - 2:27pm

access protocols
asynchronous medium access control mechanism
Bloom filters
CAN XR
controller area networks
data structures
distributed medium access control mechanism
Electronic mail
event-driven systems
in-frame replies
Media Access Protocol
optimized event notification
Payloads
Proposals
protocol
real-time systems
timing
1646317

1
2
3
next ›
last »

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

timing

Prevention of Timing Attack in Software Defined Named Data Network with VANETs

Property Specific Information Flow Analysis for Hardware Security Verification

Securing Concurrent Lazy Programs Against Information Leakage

A live static code analysis architecture for PLC software

14.3 A 28nm SoC with a 1.2GHz 568nJ/prediction sparse deep-neural-network engine with \#x003E;0.1 timing error rate tolerance for IoT applications

An assessment of vulnerability of hardware neural networks to dynamic voltage and temperature variations

On Secure Implementations of Quantum-Resistant Supersingular Isogeny Diffie-Hellman

Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving

CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles

Optimized event notification in CAN through in-frame replies and Bloom filters