The Fox and the Hound: Comparing Fully Abstract and Robust Compilation

We discuss the relation between fully abstract and robust compilation (preservation of satisfaction of arbitrary hyperproperties under adversarial contexts) showing the former implies some variant of the latter.