Gary Soeller

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

FaCT: a DSL for timing-sensitive computation
Sunjay Cauligi and others (2019) · ACM
FaCT: A Flexible, Constant-Time Programming Language
Sunjay Cauligi and others (2017) · 2017 IEEE Cybersecurity Development (SecDev) · IEEE