Terence Kelly: Protecting Secrets from Computers. ACM Queue 21(4): 23-43 (2023)