Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, Jose (2019)
    Many transaction systems distribute, partition, and replicate their data for scalability, availability, and fault tolerance. However, observing and maintaining strong consistency of distributed and partially replicated ...

    application/pdf

    application/pdfPDF (317kB)
  • Chen, Xiaohong; Rosu, Grigore (2019-01-19)
    Matching logic is a logic for specifying and reasoning about structure by means of patterns and pattern matching. This paper makes two contributions. First, it proposes a sound and complete proof system for matching ...

    application/pdf

    application/pdfPDF (542kB)
  • Meseguer, Jose (2018-12-19)
    A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories ...

    application/pdf

    application/pdfPDF (716kB)
  • Alturki, Musab A.; Rosu, Grigore (2018-11-19)
    Decentralized (pseudo-)random number generation (RNG) is a core process of many emerging distributed systems, including perhaps most prominently, the upcoming Ethereum 2.0 (a.k.a. Serenity) protocol. To ensure security ...

    application/pdf

    application/pdfPDF (903kB)
  • Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Rosu, Grigore (2018-11-19)
    This report describes our effort to model and verify the Casper blockchain finality system in the Coq proof assistant. We outline the salient details on blockchain systems using Casper, describe previous verification ...

    application/pdf

    application/pdfPDF (424kB)

Collection Statistics