Topics in cryptology – CT-RSA 2023 Cryptographers’ Track at the RSA Conference 2023, San Francisco, CA, USA, April 24–27, 2023, proceedings - Rosulek, Mike (Springer, 2023)