An Array Intermediate Language for Mixed Cryptography. - Vivian Ding; Cosku Acay; Andrew C. Myers (CoRR, 2024)