Nick Giannarakis

Learn More
—Recent advances in hardware design have demonstrated mechanisms allowing a wide range of low-level security policies (or micro-policies) to be expressed using rules on metadata tags. We propose a methodology for defining and reasoning about such tag-based reference monitors in terms of a high-level " symbolic machine, " and we use this methodology to(More)
  • 1