Efficient private bidding and auctions with an oblivious third party
- C. Cachin
- 1999
- CCS 1999
Publications
SOI digital CMOS VLSI - a design perspective
- C.T. Chuang
- R. Puri
- 1999
- DAC 1999
Buffer insertion with accurate gate and interconnect delay computation
- Charles J. Alpert
- A. Devgan
- et al.
- 1999
- DAC 1999
Dealing with inductance in high-speed chip design
- P. Restle
- A.E. Ruehli
- et al.
- 1999
- DAC 1999
Efficient non-interactive statistical zero-knowledge proof system for quasi-safe prime products
- R. Gennaro
- Daniele Micciancio
- et al.
- 1998
- CCS 1998
Public-key cryptography and password protocols
- S. Halevi
- H. Krawczyk
- 1998
- CCS 1998
User defined coverage-A tool supported methodology for design verification
- Raanan Grinwald
- Eran Harel
- et al.
- 1998
- DAC 1998
Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data
- Yossi Malka
- Avi Ziv
- 1998
- DAC 1998
Adjoint transient sensitivity computation in piecewise linear simulation
- Tuyen V. Nguyen
- Anirudh Devgan
- et al.
- 1998
- DAC 1998
Power supply noise analysis methodology for deep-submicron VLSI chip design
- Howard H. Chen
- David D. Ling
- 1997
- DAC 1997