Login / Signup
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification.
Marieke Huisman
Tri Minh Ngo
Published in:
FoVeOOS (2011)
Keyphrases
</>
multi threaded
multi core processors
information systems
operating system
information flow
computer programs