Coşku Acay
Coşku Acay
Home
Publications
Projects
Projects
Viaduct
An extensible, optimizing compiler that automatically employs cryptography to enforce high-level security specifications.
Coşku Acay
,
Rolph Recto
,
Joshua Gancher
,
Andrew C. Myers
,
Elaine Shi
Code
Cite
×