Usuba: high-throughput and constant-time ciphers, by construction (Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation)