SaTC: CORE: Medium: Microverification of Information-Flow Security for the Linux Operating System Kernel

  • Gu, Ronghui (PI)
  • Nieh, Jason (CoPI)

Proyecto

Huella digital

Explore los temas de investigación que se abordan en este proyecto. Estas etiquetas se generan con base en las adjudicaciones/concesiones subyacentes. Juntos, forma una huella digital única.

Computer Science