Automatic verification of transparency protocols (extended version).

Vincent Cheval José Moreira Mark Ryan

Published in: CoRR (2023)

Keyphrases

communication protocols
multi party
data sets
real world
information retrieval
database systems
artificial neural networks
original version