An Array Intermediate Language for Mixed Cryptography

Vivian Ding, Coşku Acay, Andrew C. Myers

We introduce AIRduct, a new array-based intermediate representation designed to support generating efficient code for interactive programs employing multiple cryptographic mechanis…