معرفی
Coşku Acay is a researcher at Cornell University with primary contributions in Programming Languages and Security. His work focuses on secure program partitioning and cryptographic compiler design, as evidenced by his publications at PriSC (2023) and PLDI (2021).
Research Interests include secure distributed programming, formal verification of cryptographic protocols, and compiler optimization techniques for privacy-preserving computation. His technical expertise is reflected in projects like Viaduct and MemoryPool on GitHub.
Recent Publications demonstrate his focus on language-based security and distributed systems. The 2023 work introduces universally composable security frameworks, while the 2021 Viaduct compiler emphasizes extensibility and optimization for secure distributed programs.
حوزههای پژوهشی
