IEEE Secure Development Conference, SecDev 2023, Atlanta, GA, USA, October 18-20, 2023. IEEE 2023, ISBN 979-8-3503-3132-5