The most prominent formal criterion for secure compilation is full
abstraction, the preservation and reflection of contextual equivalence. Recent
work introduced robust compilation, defined as the preservation of robust
satisfaction of hyperproperties, i.e., their satisfaction against arbitrary
attackers. In this paper, we initially set out to compare these two approaches
to secure compilation. To that end, we provide an exact description of the
hyperproperties that are robustly satisfied by programs compiled with a fully
abstract compiler, and show that they can be meaningless or trivial. We then
propose a novel criterion for secure compilation formulated in the framework of
Mathematical Operational Semantics (MOS), guaranteeing both full abstraction
and the preservation of robust satisfaction of hyperproperties in a more
sensible manner.

360 Mobile Vision - 360mobilevision.com North & South Carolina Security products and Systems Installations for Commercial and Residential - $55 Hourly Rate. ACCESS CONTROL, INTRUSION ALARM, ACCESS CONTROLLED GATES, INTERCOMS AND CCTV INSTALL OR REPAIR 360 Mobile Vision - 360mobilevision.com is committed to excellence in every aspect of our business. We uphold a standard of integrity bound by fairness, honesty and personal responsibility. Our distinction is the quality of service we bring to our customers. Accurate knowledge of our trade combined with ability is what makes us true professionals. Above all, we are watchful of our customers interests, and make their concerns the basis of our business.

By admin