Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Ren, Wenyu; Yardley, Timothy; Nahrstedt, Klara (2019-04)
    The Supervisory Control and Data Acquisition (SCADA) system is the most commonly used industrial control system but is subject to a wide range of serious threats. Intrusion detection systems are deployed to promote the ...

    application/pdf

    application/pdfPDF (1MB)
  • 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)

Collection Statistics