We prove a theorem relating fully abstract compilation (FAC) to robust compilation (preservation of satisfaction of arbitrary hyperproperties under adversarial contexts), showing that the former implies some variant of the latter, thus making the security guarantees of FAC more explicit. We illustrate our results with a simple example.

中文翻译：

---

狐狸和猎犬：比较完全抽象和健壮的编译

我们证明了一个将完全抽象编译 (FAC) 与健壮编译（在对抗性上下文下保持任​​意超属性的满足性）相关联的定理，表明前者意味着后者的某些变体，从而使 FAC 的安全保证更加明确。我们用一个简单的例子来说明我们的结果。