Login / Signup
Cosku Acay
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 4
Top Topics
Lightweight
Data Model
Fault Tolerant
Technical Report
Top Venues
CoRR
IACR Cryptol. ePrint Arch.
PLDI
ITRS
</>
Publications
</>
Cosku Acay
,
Joshua Gancher
,
Rolph Recto
,
Andrew C. Myers
Secure Synthesis of Distributed Cryptographic Applications (Technical Report).
CoRR
(2024)
Cosku Acay
,
Rolph Recto
,
Joshua Gancher
,
Andrew C. Myers
,
Elaine Shi
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report).
IACR Cryptol. ePrint Arch.
2021 (2021)
Cosku Acay
,
Rolph Recto
,
Joshua Gancher
,
Andrew C. Myers
,
Elaine Shi
Viaduct: an extensible, optimizing compiler for secure distributed programs.
PLDI
(2021)
Cosku Acay
,
Frank Pfenning
Intersections and Unions of Session Types.
ITRS
(2016)