Formal Analysis of Non-Malleability for Commitments in EasyCrypt.

Denis Firsov Sven Laur Ekaterina Zhuchko

Published in: IACR Cryptol. ePrint Arch. (2022)

Keyphrases

formal analysis
multiagent systems
agent model
formal methods
multi agent
ban logic
real time
machine learning
case study
high dimensional
knowledge representation