3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CR2024★ 1 cited
Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
Coşku Acay, Joshua Gancher, Rolph Recto +1
Developing secure distributed systems is difficult, and even harder when advanced cryptography must be used to achieve security goals. Following prior work, we advocate using secur…
cs.PL2017★ 3 cited
Intersections and Unions of Session Types
Coşku Acay, Frank Pfenning
Prior work has extended the deep, logical connection between the linear sequent calculus and session-typed message-passing concurrent computation with equi-recursive types and a na…