Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality.
Mario LarangeiraMaxim JourenkoPublished in: AFRICACRYPT (2023)
Keyphrases
- cryptographic protocols
- covert channel
- lightweight
- scalar product
- secure routing
- key distribution
- authentication protocol
- group communication
- key agreement protocol
- real world
- rfid systems
- security protocols
- security analysis
- provably secure
- cryptographic algorithms
- key exchange protocol
- key establishment
- digital signature scheme
- tcp ip
- security model
- formal analysis
- risk factors
- risk management
- security properties
- secure communication
- mutual authentication
- key management
- security requirements
- security issues
- secure multi party
- wireless sensor networks