HoRStify: Sound Security Analysis of Smart Contracts.

Sebastian Holler Sebastian Biewer Clara Schneidewind

Published in: CSF (2023)

Keyphrases

security analysis
public key
high security
smart card
security requirements
image encryption
security model
supply chain
encryption scheme
authentication protocol
user authentication
security properties
encryption algorithm
proxy signature scheme
database systems
mutual authentication
image compression