83 citations · 99 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2019★ 16 cited
A Hybrid Approach to Secure Function Evaluation Using SGX
Joseph I. Choi, Dave 'Jing' Tian, Grant Hernandez +5
A protocol for two-party secure function evaluation (2P-SFE) aims to allow the parties to learn the output of function of their private inputs, while leaking nothing more. In a…
cs.CR2017★ 83 cited
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution
Grant Hernandez, Farhaan Fowze, Dave Tian +2
The USB protocol has become ubiquitous, supporting devices from high-powered computing devices to small embedded devices and control systems. USB's greatest feature, its openness a…