30 citations · 30 across the 1 of their papers we have counts for
1 paper
Timothy Trippel, Kang G. Shin, Alex Chernyakhovsky +3
Hardware flaws are permanent and potent: hardware cannot be patched once fabricated, and any flaws may undermine any software executing on top. Consequently, verification time domi…