scientific article; zbMATH DE number 5485525

MaRDI QIDQ3549694zbMATH OpenFDO

Authors Dan Gutfreund, Alexander D. Healy, Tali Kaufman, Guy N. Rothblum, Shafi Goldwasser

Publication date 5 January 2009

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(6)

• Locality and checkability in wait-free computing
• Cryptographic hardness under projections for time-bounded Kolmogorov complexity
• Locality and checkability in wait-free computing
• Interleaved Group Products
• Garbled circuits as randomized encodings of functions: a primer
• Verifiable stream computation and Arthur-Merlin communication

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549694)