Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain.
Bernardo DavidPeter GaziAggelos KiayiasAlexander RussellPublished in: EUROCRYPT (2) (2018)
Keyphrases
- asynchronous communication
- theorem proving
- security issues
- theorem prover
- linear logic
- user authentication
- real time
- key exchange
- security management
- digital signature
- standard model
- security requirements
- database
- key management
- security level
- cryptographic protocols
- security properties
- encryption scheme
- databases
- data encryption