Publications

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
Pinocchio: Nearly practical verifiable computation
- - Bryan Parno
  - Jon Howell
  - et al.
- 2013
- S&P 2013
2^nd Workshop on software development governance (SDG)
- - Yael Dubinsky
  - Philippe Kruchten
- 2009
- ICSE 2009
ICSE cloud 09: First international workshop on software engineering challenges for cloud computing
- - Kamal Bhattacharya
  - Martin Bichler
  - et al.
- 2009
- ICSE 2009
Petascale Plan 9 on Blue Gene
- - Eric Van Hensbergen
  - Charles Forsyth
  - et al.
- 2007
- USENIX ATC 2007
First international workshop on the Modeling and Analysis of Concerns in Software (MACS 2005)
- - Martin P. Robillard
  - Peri Tarr
  - et al.
- 2005
- ICSE 2005
Experiences with service computing - A view from the business world
- - Ephraim Feig
  - Ali Arsanjani
  - et al.
- 2005
- ICWS 2005
Universally composable password-based key exchange
- - Ran Canetti
  - Shai Halevi
  - et al.
- 2005
- Eurocrypt 2005
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