Accountable Decryption made Formal and Practical.

Rujia Li Yuanzhao Li Qin Wang Sisi Duan Qin Wang Mark Ryan

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

Keyphrases

knowledge representation
practical application
data sets

real world
formal model
mathematical foundations

database
data mining
software engineering

formal methods
formal language