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
Compositionality
biblio
Resolving the Trilemma in Logic Encryption
Submitted by
grigby1
on Fri, 04/03/2020 - 12:56pm
logic circuits
logic design
Cryptography
pubcrawl
Resiliency
Metrics
Compositionality
provable security
resilience
SAT attack
computability
encryption efficiency
error number
hardware ip protection
locked circuit
locking robustness
logic resynthesis
post SAT approaches
pre-SAT approaches
provable logic obfuscation
query complexity
structural security
traditional logic encryption algorithms
trilemma
biblio
A Critical Evaluation of the Paradigm Shift in the Design of Logic Encryption Algorithms
Submitted by
grigby1
on Fri, 04/03/2020 - 12:56pm
Logic gates
Cryptography
encryption
pubcrawl
Resiliency
Hardware
Hardware Security
industrial property
integrated circuits
Computer crime
invasive software
Metrics
Compositionality
provable security
resilience
Boolean satisfiability attack
computability
Hardware Trojans
integrated circuit supply chain
intellectual property piracy
logic encryption
logic encryption techniques
low-cost countermeasures
modern logic encryption algorithms
paradigm shift
SAT attack
structural corruption
biblio
Code-based Pseudorandom Generator for the Post-Quantum Period
Submitted by
grigby1
on Fri, 04/03/2020 - 12:56pm
pubcrawl
Resiliency
Generators
Cryptography
Prototypes
Metrics
Decoding
Compositionality
provable security
“Provable”
Code-based Pseudorandom Number Generator
Cryptographically Resistance Pseudorandom Sequences
Fischer-Stern Generator
Periodic Properties
Random sequences
Resistance
security model
resilience
biblio
Membership Inference Attacks Against Adversarially Robust Deep Learning Models
Submitted by
grigby1
on Fri, 04/03/2020 - 12:56pm
deep learning
learning (artificial intelligence)
security of data
Training
Predictive models
security
pubcrawl
Resiliency
data privacy
Data models
privacy
security challenges
neural nets
Metrics
Compositionality
provable security
adversarial defense
adversarial defense methods
adversarial defenses
adversarial training method
adversarially robust deep learning models
empirical membership inference attacks
evasion attacks
membership inference attack
privacy challenges
provable defense
security and privacy
target model
Training data
resilience
biblio
A Formal Approach to Secure Speculation
Submitted by
grigby1
on Fri, 04/03/2020 - 12:55pm
security of data
security
pubcrawl
Resiliency
verification
microarchitecture
Program processors
Transient analysis
Linux
Kernel
formal verification
Metrics
Compositionality
provable security
formal
formal approach
Formal-Verification
hyperproperty
information flow security properties
information-flow
meltdown
microarchitectural side-channels
mitigation
observational-determinism
out-of-order-execution
safety-property
secure speculation property
secure speculative execution
side-channel
SMT
software mitigations
Spectre
speculation
trace property-dependent observational determinism
trace-property
transient execution attacks
transient-execution
uclid5
resilience
biblio
Provable Security of the Ma-Tsudik Forward-Secure Sequential Aggregate MAC Scheme
Submitted by
grigby1
on Fri, 04/03/2020 - 12:55pm
Cryptography
pubcrawl
Resiliency
wireless sensor networks
Metrics
Compositionality
access protocols
Cryptographic Hash Function
cryptographic hash functions
forward security
Ma-Tsudik Forward-Secure Sequential Aggregate MAC Scheme
Ma-Tsudik FssAgg MAC scheme
provable security
sequential aggregate authentication
sequential aggregate MAC
wireless sensors
resilience
biblio
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
computer architecture
privacy
deep learning
deep learning model
learning (artificial intelligence)
security
pubcrawl
policy-based governance
collaboration
computer network security
Data models
Protocols
composability
Local area networks
industrial network
fuzzing
security vulnerabilities
Policy Based Governance
Control Automation Technology devices
Decoding
deep learning perspective
EtherCAT
Fuzz Testing
fuzzing framework
industrial communication processes
industrial communication protocols
industrial protocol fuzzing framework
Industrial Safety
modern industrial control systems
protocol frame structures
protocol frames
security checks
self learning
SeqFuzzer
stateful protocols
target protocol
vulnerability mining
Compositionality
protocol verification
biblio
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
privacy
authorisation
IP networks
pubcrawl
policy-based governance
collaboration
computer network security
Cryptographic Protocols
Protocols
verification
standards
composability
Policy Based Governance
security protocols
computational model
cryptographic proof
cryptographic protocol
CryptoVerif proof assistant
Elliptic curve cryptography
Noise Protocol Framework
open source Virtual Private Network
transport data messages
Virtual private networks
vpn
WireGuard virtual private network protocol
Compositionality
protocol verification
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
Servers
pubcrawl
policy-based governance
collaboration
computer network security
Analytical models
Protocols
Computer crime
composability
Denial of Service attacks
Formal Specification
formal verification
Policy Based Governance
DDoS
Bandwidth
amplification DoS attacks
complexity
computational complexity
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
formal verification model
powerful intruders
protocol execution
protocol theories
PSPACE-complete
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
service resource usage
service unavailable
unlimited resources
Compositionality
protocol verification
biblio
Security in Wireless Sensor Networks: A formal verification of protocols
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
privacy
security
pubcrawl
policy-based governance
collaboration
telecommunication security
Cryptographic Protocols
wireless sensor networks
composability
Security analysis
formal verification
Policy Based Governance
analyzed protocols
complex networked control systems
concerns improved guarantees
concerns security aspects
industrial domains
real-time communications
safe transmissions
secure transmissions
security breaches
Security Properties
WSN technology
Compositionality
protocol verification
1
2
3
4
5
6
7
8
9
…
next ›
last »
