Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol.
Bernardo Machado DavidPeter GaziAggelos KiayiasAlexander RussellPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- cryptographic protocols
- covert channel
- authentication protocol
- scalar product
- security protocols
- secure routing
- privacy preserving
- key distribution
- homomorphic encryption
- group communication
- key exchange protocol
- key agreement protocol
- security analysis
- vertically partitioned data
- lightweight
- diffie hellman
- provably secure
- secure multiparty computation
- rfid systems
- multi party
- security requirements
- password authentication
- mutual authentication
- session key
- key management
- standard model
- security properties
- key exchange
- formal proof
- secure multi party
- secret key
- smart card
- theorem prover
- secure communication
- security model
- cryptographic algorithms
- mobile agent system
- user privacy
- security issues
- trusted third party
- electronic voting
- communication protocol
- digital signature scheme
- key establishment
- security services
- linear logic
- tcp ip
- signature scheme
- public key cryptosystems
- theorem proving