LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 28-30 of 486

    • Mutually Independent Commitment 

      Liskov, Moses; Lysyanskeya, Anna; Micali, Silvio; Reyzin, Leonid; Smith, Adam (2001-04)
      We describe a new kind of commitment scheme in which two parties commit to values in a commitment stage, at the end of which we are assured that the values they have committed to cannot be correlated to one another. We ...

    • Forward-Secure Signatures with Optimal Signing and Verifying 

      Itkis, Gene; Reyzin, Leonid (2001-04)
      Ordinary digital signatures have an inherent weakness: if the secret key is leaked, then all signatures, even the ones generated before the leak, are no longer trustworthy. Forward-secure digital signatures were recently ...

    • A Unified Framework for Schedule and Storage Optimization 

      Thies, William F.; Viven, Frederic; Sheldon, Jeffery W.; Amarasinghe, Saman (2000-11)
      We present a unified mathematical framework for analyzing the tradeoffs between parallelism and storage allocation within a parallelizing compiler. Using this framework, we show how to find the best storage mapping for a ...