The Subterranean 2.0 Cipher Suite. ToSC 2020, 2020 (S1), 262-294. https://doi.org/10.13154/tosc.v2020.iS1.262-294.