Joshua Gancher
- Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
2024/01/06 by Coşku Acay, Acay, Coşku, Joshua Gancher +5 · 1 citation
Computer Science · #Security and Verification in Computing #Parallel Computing and Optimization Techniques #Distributed systems and fault tolerance
- WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
2023/12/14 by Zhengyao Lin, Lin, Zhengyao, Joshua Gancher +3 · 1 citation
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #VLSI and Analog Circuit Testing