Exploring Integrity of AEADs with Faults: Definitions and Constructions. ToSC [Internet]. 2022 Dec. 7 [cited 2024 Nov. 22];2022(4):291-324. Available from: https://philosophymindscience.org/index.php/ToSC/article/view/9980