BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Krawczyk:Hugo

Contributed to:

STOC 19981998
ICALP 19901990
PLDI 19891989

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.