Publications

Attribute-based key exchange with general policies
- - Vladimir Kolesnikov
  - Hugo Krawczyk
  - et al.
- 2016
- CCS 2016
Conference paper
DAG-aware logic synthesis of datapaths
- - Cunxi Yu
  - Maciej Ciesielski
  - et al.
- 2016
- DAC 2016
Conference paper
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
Conference paper
Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification
- - Doowon Leey
  - Tom Kolan
  - et al.
- 2016
- DAC 2016
Conference paper
Pinocchio: Nearly practical verifiable computation
- - Bryan Parno
  - Jon Howell
  - et al.
- 2013
- S&P 2013
Conference paper
ICSE cloud 09: First international workshop on software engineering challenges for cloud computing
- - Kamal Bhattacharya
  - Martin Bichler
  - et al.
- 2009
- ICSE 2009
Conference paper
2^nd Workshop on software development governance (SDG)
- - Yael Dubinsky
  - Philippe Kruchten
- 2009
- ICSE 2009
Conference paper
First international workshop on the Modeling and Analysis of Concerns in Software (MACS 2005)
- - Martin P. Robillard
  - Peri Tarr
  - et al.
- 2005
- ICSE 2005
Conference paper
Universally composable password-based key exchange
- - Ran Canetti
  - Shai Halevi
  - et al.
- 2005
- Eurocrypt 2005
Conference paper
Tag-KEM/DEM: A new framework for hybrid encryption and a new analysis of Kurosawa-Desmedt KEM
- - Masayuki Abe
  - Rosario Gennaro
  - et al.
- 2005
- Eurocrypt 2005
Conference paper