Publications

∆-encoder: an effective sample synthesis method for few-shot object recognition
- - Eli Schwartz
  - Leonid Karlinsky
  - et al.
- 2018
- NeurIPS 2018
Fast transparent virtual machine migration in distributed edge clouds
- - Lucas Chaufournier
  - Prateek Sharma
  - et al.
- 2017
- SEC 2017
Early work on modeling computational sprinting
- - Nathaniel Morris
  - Christopher Stewart
  - et al.
- 2017
- SoCC 2017
One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation
- - Jan Camenisch
  - Liqun Chen
  - et al.
- 2017
- S&P 2017
Program anomaly detection: Methodology and practices
- - Xiaokui Shu
  - Danfeng Yao
- 2016
- CCS 2016
Attribute-based key exchange with general policies
- - Vladimir Kolesnikov
  - Hugo Krawczyk
  - et al.
- 2016
- CCS 2016
CLEAR: Crosslayer exploration for architecting resilience combining hardware and software techniques to tolerate soft errors in processor cores
- - Eric Cheng
  - Shahrzad Mirkhani
  - et al.
- 2016
- DAC 2016
Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification
- - Doowon Leey
  - Tom Kolan
  - et al.
- 2016
- DAC 2016
DAG-aware logic synthesis of datapaths
- - Cunxi Yu
  - Maciej Ciesielski
  - et al.
- 2016
- DAC 2016
Pinocchio: Nearly practical verifiable computation
- - Bryan Parno
  - Jon Howell
  - et al.
- 2013
- S&P 2013