Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 85-87 of 3794

    • Client Authentication on the Web 

      Fu, Kevin; Sit, Emil; Smith, Kendra; Feamster, Nick (2001-03)

    • Practical Byzantine Fault Tolerance 

      Castro, Miguel (2001-01)
      Our growing reliance on online services accessible on the Internet demands highly-available systemsthat provide correct service without interruptions. Byzantine faults such as software bugs, operatormistakes, and malicious ...

    • Object Models, Heaps and Interpretations 

      Rinard, Martin; Kuncak, Viktor (2001-01)
      This paper explores the use of object models for specifying verifiable heap invariants. We define a simple language based on sets and relations and illustrate its use through examples. We give formal semantics of the ...