Now showing items 1-2 of 2

    • Eager Class Initialization for Java 

      Kozen, Dexter; Stillerman, Matt (Cornell University, 2001-07-23)
      We describe a static analysis method on Java bytecode to determine class initialization dependencies. This method can be used for eager class loading and initialization. It catches many initialization circularities that ...
    • Malicious Code Detection for Open Firmware 

      Adelstein, Frank; Stillerman, Matt; Kozen, Dexter (Cornell University, 2002-09-27)
      Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating system is loaded, it can easily circumvent any ...