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
Publications
Date
Featured collections
Popular topics
26111 results for Science
Compact e-cash
- Jan Camenisch
- Susan Hohenberger
- et al.
- 2005
- Eurocrypt 2005
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
Verifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
A new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- Manuel Correia
- Donald Cossman
- et al.
- 1970
- DAC 1970
Quality of designs from an automatic logic generator (ALERT)
- Theodore D. Friedman
- Sih-Chin Yang
- 1970
- DAC 1970
WAGLE: Strategic Weight Attribution for Effective and Modular Unlearning in Large Language Models
- Jinghan Jia
- Jiancheng Liu
- et al.
- 2024
- NeurIPS 2024