A (in)Secure-by-Design IoT Protocol: the ESP Touch Protocol and a Case Study Analysis from the Real Market.
Giovanni SalzilloMassimiliano RakPublished in: CPSIOTSEC@CCS (2020)
Keyphrases
- formal analysis
- cryptographic protocols
- rfid systems
- lightweight
- security protocols
- case study
- key distribution
- scalar product
- covert channel
- mobile payment
- authentication protocol
- group communication
- provably secure
- key exchange protocol
- data analysis
- security model
- key management
- multi party
- key agreement protocol
- standard model
- security mechanisms
- trusted third party
- security issues
- homomorphic encryption