Travelled to:
2 × USA
Collaborated with:
O.Goldreich M.Bellare R.Canetti D.Bernstein D.Q.Goldin M.C.Golumbic Y.Mansour I.Nahshon R.Y.Pinter
Talks about:
techniqu (1) protocol (1) knowledg (1) composit (1) approach (1) modular (1) exchang (1) authent (1) analysi (1) system (1)
Person: Hugo Krawczyk
DBLP: Krawczyk:Hugo
Contributed to:
Wrote 3 papers:
- STOC-1998-BellareCK #analysis #approach #authentication #composition #design #protocol
- A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (MB, RC, HK), pp. 419–428.
- ICALP-1990-GoldreichK #composition #on the #proving
- On the Composition of Zero-Knowledge Proof Systems (OG, HK), pp. 268–282.
- PLDI-1989-BernsteinGGKMNP #compilation #optimisation
- Spill Code Minimization Techniques for Optimizing Compilers (DB, DQG, MCG, HK, YM, IN, RYP), pp. 258–263.