Results (27)

  • Edit distance for pushdown automata
    Conference paper
  • Condensed unpredictability
    Conference paper
  • The complexity of synthesis from probabilistic components
    Conference paper
  • Games with a weak adversary
    Conference paper
  • Nondeterminism in the presence of a diverse or unknown future
    Conference paper
  • The power of linear programming for finite-valued CSPs: A constructive characterization
    Conference paper
  • Formalizing and reasoning about quality
    Conference paper
  • Tamper proof circuits How to trade leakage for tamper resilience
    Conference paper
  • Robust multi property combiners for hash functions revisited
    Conference paper