Cosku Acay

According to our database, Cosku Acay authored at least 7 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report).

Silei Ren, Cosku Acay, Andrew C. Myers

CoRR, April, 2025

2024

An Array Intermediate Language for Mixed Cryptography.

Vivian Ding, Cosku Acay, Andrew C. Myers

CoRR, 2024

Secure Synthesis of Distributed Cryptographic Applications (Technical Report).

Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers

CoRR, 2024

Secure Synthesis of Distributed Cryptographic Applications.

Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2021

Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report).

Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi

IACR Cryptol. ePrint Arch., 2021

Viaduct: an extensible, optimizing compiler for secure distributed programs.

Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2016

Intersections and Unions of Session Types.

Cosku Acay, Frank Pfenning

Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016