Random Reading Notes

  1. The thesis dissertation - "Confidentiality Enforcement Using Dynamic Information Flow Analyses" by Gurvan Le Guernic -  provides a good background on IFC enforcement techniques, especially the list on static enforcement is exhaustive.  [Link]
  2. Schneider's "Enforceable Security Policies".  [Link]
  3. Ilaria's "State-oriented noninterference for CCS", has some collection of techniques to prove secure compilation that preserves noninterference. [Link]