Publications

First international workshop on the Modeling and Analysis of Concerns in Software (MACS 2005)
- - Martin P. Robillard
  - Peri Tarr
  - et al.
- 2005
- ICSE 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
Compact e-cash
- - Jan Camenisch
  - Susan Hohenberger
  - et al.
- 2005
- Eurocrypt 2005
ICSE workshop on software visualization
- - Wim de Pauw
  - Steven P. Reiss
  - et al.
- 2001
- ICSE 2001
Effective null pointer check elimination utilizing hardware trap
- - M. Kawahito
  - H. Komatsu
  - et al.
- 2000
- ASPLOS 2000
XML document security based on provisional authorization
- - M. Kudo
  - S. Hada
- 2000
- CCS 2000
On loops, dominators, and dominance frontier
- - G. Ramalingam
- 2000
- PLDI 2000
'Timing Closure by Design,' a high frequency microprocessor design methodology
- - S.D. Posluszny
  - Naoaki Aoki
  - et al.
- 2000
- DAC 2000
Designing systems-on-chip using cores
- - Reinaldo A. Bergamaschi
  - William R. Lee
- 2000
- DAC 2000