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

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

Projet

Empreinte numérique

Explorer les sujets de recherche abordés dans ce projet. Ces étiquettes sont créées en fonction des prix/bourses sous-jacents. Ensemble, ils forment une empreinte numérique unique.

Computer Science