Now showing items 1-1 of 1

    • CHERI JNI: Sinking the Java security model into the C 

      Chisnall, David Thomas; Davis, B; Gudka, K; Brazdil, D; Joannou, A; Woodruff, Jonathan David; Markettos, Athanasios Theodore et al.
      Java provides security and robustness by building a high-level security model atop the foundation of memory protection. Unfortunately, any native code linked into a Java program – including the million lines used to implement ...