Automatic verification of transparency protocols.

Vincent Cheval José Moreira Mark Ryan

Published in: EuroS&P (2023)

Keyphrases

cryptographic protocols
database
real time
neural network
three dimensional
optimal solution
relational databases
security protocols
communication protocol
key exchange
voting protocols