2 papers
cs.PL2025
An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
Silei Ren, CoÅku Acay, Andrew C. Myers
Language-based information flow control (IFC) enables reasoning about and enforcing security policies in decentralized applications. While information flow properties are relativel…
cs.CR2024
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…