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
Cryptographic Protocols
biblio
Formally Verified Cryptographic Web Applications in WebAssembly
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
authoring languages
Browsers
CoMP
compilation pipeline
compiler
compiler security
Compositionality
cryptographic code
Cryptographic Protocols
cryptographic-library
cryptographic-protocol-verification
Cryptography
formal verification
high-assurance cryptographic libraries
high-profile attacks
instruction set
Java
JavaScript runtimes
Libraries
low-level subset
Metrics
modern Web applications
program compilers
program diagnostics
program verification
Protocols
pubcrawl
public domain software
Resiliency
Scalability
security-critical software
Servers
Signal
sophisticated custom cryptographic components
standard protocols
standards
toolchain
verification
verification techniques
verification-oriented programming languages
verified cryptographic Web applications
verified HACL cryptographic library
verified implementation
verified-software
web-security
Webassembly
WebAssembly compilers
WebAssembly version
whatsapp
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
An Evaluation of the Security of the Bitcoin Peer-To-Peer Network
Submitted by
grigby1
on Tue, 11/26/2019 - 2:38pm
bitcoin
bitcoin core software
bitcoin message exchanges
bitcoin mining process
Bitcoin peer-to-peer network
blockchain
Computer crime
computer network security
cryptocurrencies
Cryptographic Protocols
Data mining
DDoS Attacks
denial of service
distributed denial of service attacks
Human behavior
human factor
Human Factors
Metrics
network message exchanges
network protocol
P2P network
peer to peer security
Peer-to-peer computing
Protocols
pubcrawl
resilience
Resiliency
Scalability
Security Evaluation
service attacks
Software
transaction confirmation process
biblio
BARS: A Blockchain-Based Anonymous Reputation System for Trust Management in VANETs
Submitted by
aekwall
on Mon, 11/18/2019 - 10:49am
authentication protocol
Bars
blockchain
blockchain-based anonymous reputation system
Cryptographic Protocols
Data models
data privacy
distributed trust management
forged message broadcasting
Human behavior
internal vehicles
message authentication
Metrics
PKI Trust Models
privacy
privacy preservation
privacy protection
pubcrawl
Public key
public key cryptography
public key infrastructure
reputation system
Resiliency
revocation transparency
Scalability
security services
telecommunication security
Trust management
VANET
vehicular ad hoc networks
vehicular ad-hoc networks
biblio
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Submitted by
grigby1
on Tue, 11/12/2019 - 3:30pm
Analytical models
attack identification
automated unbounded verification
collaboration
composability
Compositionality
Computational modeling
Cryptographic Protocols
Cryptographic-Protocols
Cryptography
electronic payment protocols
equational theory
Exclusive-OR
exclusive-or operations
formal verification
Formal-Verification
Mathematical model
observational equivalence
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
radiofrequency identification
RFID protocols
Security Properties
stateful cryptographic protocols
symbolic model
Symbolic-Model
Tamarin
Tamarin prover
Theorem Proving
tools
user-defined equational theories
verification tool
XOR operations
XOR theory
biblio
Secure Device Bootstrapping Without Secrets Resistant to Signal Manipulation Attacks
Submitted by
grigby1
on Wed, 10/30/2019 - 9:53am
authentication
Internet of Things
security of data
resilience
wireless sensor networks
pubcrawl
Resiliency
Scalability
Protocols
Wireless communication
telecommunication security
message authentication
performance evaluation
Communication system security
Cryptographic Protocols
authorisation
wireless channels
body area networks
public key cryptography
data integrity
autonomous vehicles
man-in-the-middle attacks
advanced wireless attacks
authenticated channels
bootstrapping protocol
extensive human involvement
Group Bootstrapping
hub
in-band message integrity verification
industrial automation sensors
key establishment
key establishment processes
man in the middle attack
medical devices
Message Integrity Protection
multiple devices
multiple legitimate devices
ON OFF Keying
out-of-band channels
pairing process
physical layer security
physical-layer group message integrity
Secret free
secure deployment
secure device bootstrapping
secure pairing
shared secrets
signal manipulation attacks
VERSE
wireless channel
wireless devices
wireless signal annihilation
wireless signal injection
Wireless Signal Manipulation Attack
wireless signal manipulations
Security by Default
biblio
(Short Paper) Towards More Reliable Bitcoin Timestamps
Submitted by
grigby1
on Wed, 10/23/2019 - 11:38am
authorisation
bitcoin
Bitcoin participants
Bitcoin protocol
bitcoin timestamps
blockchain
Cryptographic Protocols
digital signatures
electronic money
freshness
freshness properties
Human behavior
Metrics
Protocols
pubcrawl
public key cryptography
Reliability
resilience
Resiliency
Scalability
secure timestamping service
Servers
SSL Trust Models
SSL/TLS servers
Synchronization
timestamping
timestamping service
Web sites
biblio
CertChain: Public and Efficient Certificate Audit Based on Blockchain for TLS Connections
Submitted by
grigby1
on Wed, 10/23/2019 - 11:38am
auditing
blockchain system
blockchain-based public
Certchain
certificate audit service
certificate forward traceability
certificate revocation checking
certificate revocation mechanisms
certification
Cryptographic Protocols
data consistency
data privacy
data structure
data structures
DCBF
dependability-rank based consensus protocol
dual counting bloom filter
Electronic mail
Human behavior
log servers
log-based schemes
Metrics
Monitoring
Protocols
pubcrawl
public key cryptography
query processing
resilience
Resiliency
revoked certificates checking
Scalability
Security analysis
Servers
SSL connections
SSL Trust Models
system monitoring
telecommunication security
TLS connections
biblio
Integrity and Non-Repudiation of VoIP Streams with TPM2.0 over Wi-Fi Networks
Submitted by
grigby1
on Tue, 10/15/2019 - 1:44pm
attack scenarios
authentication
composability
computer network security
Cryptographic Protocols
Cryptography
digital networks
digital signature
digital signatures
hardware-based trusted anchor
Human behavior
integrity
internet
internet-based communication
Internet Protocol
Internet telephony
IP networks
legacy phone technologies
Metrics
nonrepudiation
physical access
Protocols
pubcrawl
quality of service
random nodes
Repudiation
research project INTEGER
resilience
Resiliency
secure authentication
softphones
TPM2
Trusted Computing
trusted computing group
Trusted Platform Module
VoIP
VoIP communication
VoIP softphones
VoIP streams
Wi-Fi
Wi-Fi Networks
Wireless communication
Wireless fidelity
wireless LAN
wireless scenarios
wireless streaming
biblio
Single Trace Side Channel Analysis on Quantum Key Distribution
Submitted by
grigby1
on Tue, 10/08/2019 - 3:45pm
BB84 protocol
Cryptographic Protocols
Diffie-Hellman key exchange
Electromagnetics
EM analysis
Human behavior
key exchange protocols
Metrics
number theoretic problems
number theory
Phase modulation
phase modulator
Photonics
plug-and-play
plug-and-play QKD system
private key cryptography
Protocols
pubcrawl
QKD
QKD system
quantum computer
quantum computing
quantum cryptography
Quantum Key Distribution
quantum physics
quantum properties
random key generation
random number generation
resilience
Resiliency
Scalability
Secret key
Side-channel attack
side-channel attacks
single electromagnetic trace
Single Trace Attack
single trace side channel analysis
stable key generation
weak random number generators
1
2
3
4
5
6
7
8
9
…
next ›
last »
