https://www.coskuacay.com/publication-types/paper-conference/2025-02-20T16:03:48-08:00weeklyhttps://www.coskuacay.com/publication_types/2025-02-20T16:03:48-08:00weeklyhttps://www.coskuacay.com/publications/secure-synthesis-of-distributed-cryptographic-applications/2025-02-20T16:03:48-08:00weeklyhttps://www.coskuacay.com/2024-05-23T21:22:21-07:00weeklyhttps://www.coskuacay.com/publications/provably-correct-compilation-for-distributed-cryptographic-applications/2024-05-23T22:07:43-07:00weeklyhttps://www.coskuacay.com/publication-types/thesis/2024-05-23T22:07:43-07:00weeklyhttps://www.coskuacay.com/publications/an-array-intermediate-language-for-mixed-cryptography/2025-02-20T16:03:48-08:00weeklyhttps://www.coskuacay.com/publication-types/paper/2025-02-20T16:03:48-08:00weeklyhttps://www.coskuacay.com/publications/viaduct-an-extensible-optimizing-compiler-for-secure-distributed-programs/2024-09-14T11:16:16-07:00weeklyhttps://www.coskuacay.com/project/2021-06-03T16:23:05-04:00weeklyhttps://www.coskuacay.com/projects/viaduct/2021-06-03T16:23:05-04:00weeklyhttps://www.coskuacay.com/publications/intersections-and-unions-of-session-types/2024-05-23T21:22:21-07:00weeklyhttps://www.coskuacay.com/publications/refinements-for-session-typed-concurrency/2024-05-23T21:22:21-07:00weeklyhttps://www.coskuacay.com/publication/2024-05-23T21:22:21-07:00weeklyhttps://www.coskuacay.com/event/2024-05-23T21:22:21-07:00weekly