Gary Soeller is an author at Stanford University specializing in formal verification, information security, and formal methods.
Top concepts
EngineeringCryptographyFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationComputer EngineeringInformation Security
Publications per year
2017–2019
2
2
FaCT: a DSL for timing-sensitive computation
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer et al. · 2019 · 72 citations · Full text
Cryptographic Primitive, Engineering, Information Security +23
FaCT: A Flexible, Constant-Time Programming Language
Sunjay Cauligi, Gary Soeller, Fraser Brown et al. · 2017 · 46 citations
Rows per page
1–2 of 2