Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Chen, Xiaohong; Rosu, Grigore (2019-07-31)
    This paper proposes a logic for programming languages, which is both simple and expressive, to serve as a foundation for language semantics frameworks. Matching mu-logic has been recently proposed as a unifying foundation ...

    application/pdf

    application/pdfPDF (966kB)
  • Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian Florin; Zhang, Yi; Filaretti, Daniele; Serbanuta, Virgil; Johnson, Ralph; Rosu, Grigore (2019-07-16)
    This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain. IELE was designed by specifying its semantics formally in ...

    application/pdf

    application/pdfPDF (349kB)
  • li, Hongyang; Dan, Gyorgy; Borisov, Nikita; Nahrstedt, Klara; Gunter, Carl A. (University of Illinois at Urbana-Champaign, 2019-06-17)
    Dynamic charging is an emerging technology that allows an electric vehicle (EV) to charge its battery while moving along the road. Dynamic charging charges the EV’s battery through magnetic induction between the receiving ...

    application/pdf

    application/pdfPDF (509kB)
  • application/pdf

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

Collection Statistics