Now showing items 1-2 of 2

    • Complexity Analysis of Tunable Type Inference for Generic Universe Types 

      Juma, Nahid (University of Waterloo, 2015-08-26)
      This work studies the computational complexity of a tunable static type inference problem which was introduced in prior research [1]. The problem was assumed to be inherently difficult, without evidence, and a SAT solver ...
    • Problems in Cloud Security, Access Control and Logic Locking 

      Juma, Nahid (University of Waterloo, 2020-07-22)
      In this thesis, we study problems related to security in three different contexts: cloud scheduling, access control, and logic locking to protect digital ICs. The first set of problems relates to security in cloud ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages