54 citations · 255 across the 28 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 44 cited
Program Synthesis by Type-Guided Abstraction Refinement
Zheng Guo, Michael James, David Justo +4
We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the que…
cs.CR2019★ 16 cited
Iodine: Verifying Constant-Time Execution of Hardware
Klaus v. Gleissenthall, Rami Gökhan Kıcı, Deian Stefan +1
To be secure, cryptographic algorithms crucially rely on the underlying hardware to avoid inadvertent leakage of secrets through timing side channels. Unfortunately, such timing ch…