College of Engineering

Recent AdditionsRSS feed

  • Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, Jose; Santiago, Sonia (2016-07)
    Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in ...

    application/pdf

    application/pdfPDF (457kB)
  • Dong, Xinshu; Lin, Hui; Tan, Rui; Iyer, Ravishankar K.; Kalbarczyk, Zbigniew (Coordinated Science Laboratory. University of Illinois at Urbana-Champaign., 2015-02)
    Software-defined networking (SDN) is an emerging networking paradigm that provides unprecedented flexibility in dynamically reconfiguring an IP network. It enables various applications, such as network management, quality ...

    application/pdf

    application/pdfPDF (1MB)
  • Hannah, Robert J. (Coordinated Science Laboratory. University of Illinois at Urbana-Champaign., 2015-02)
    Authentication is a basic access control concern for applications and services in the technological landscape that usernames and passwords have commonly addressed. Alongside the likes of certificate-based authentication, ...

    application/pdf

    application/pdfPDF (868kB)
  • Fan, Chuchu; Mitra, Sayan (Coordinated Science Laboratory. University of Illinois at Urbana-Champaign., 2015-02)
    Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user-provided model annotations called “discrepancy functions,” which are ...

    application/pdf

    application/pdfPDF (475kB)
  • Thakore, Uttam; Weaver, Gabriel A.; Sanders, William H. (Coordinated Science Laboratory. University of Illinois at Urbana-Champaign., 2014-07)
    Effective monitoring is essential for the security of cloud systems. Although many monitoring tools exist in the cloud domain, there is little guidance on how to deploy monitors to make the most of collected monitor data ...

    application/pdf

    application/pdfPDF (1MB)

Community Statistics