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
Read-only archive of site from September 29, 2023.
CPS-VO
universally composable security framework
biblio
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security
Submitted by grigby1 on Wed, 12/11/2019 - 12:22pm
Games
universally composable security framework
universal composition operation
universal composability
Task Analysis
secure message communication
pubcrawl
proving simulation-based security
one-time-pad encryption
mechanized UC security analyses
Mechanization
ideally authenticated communication
ideal secure-communication functionality
ideal key-exchange functionality
hard computational problems
protocol verification
game-based security
formal verification
EASYCRYPT proof assistant
EasyCrypt
Diffie-Hellman protocol UC
Diffie-Hellman key-exchange
desired ideal functionality
Decisional Diffie-Hellman problem
Cryptography
Cryptographic Protocols
computer aided cryptography
composability
Complexity theory
complex protocols
biblio
A Universally Composable Treatment of Network Time
Submitted by grigby1 on Tue, 02/27/2018 - 2:34pm
pubcrawl
wide-spread security loss
universally composable treatment
universally composable security framework
universal composability
UC framework
time-reliant applications
Time measurement
Servers
security-sensitive systems
real-world protocols
real-world distributed system
real-time systems
public key infrastructure
Public key
authorisation
Protocols
password expiration
network time protocols
network time
modular treatment
internet
cryptographic tools
Cryptographic Protocols
cryptographic primitives
Consensus
composability
Clocks
certificate detection revocation