  Secure compilation aims to build compilation chains that preserve security
properties when translating programs from a source to a target language. Recent
research led to the definition of secure compilation principles that, if met,
guarantee that the compilation chain in hand never violates specific families
of security properties. Still, to the best of our knowledge, no effective
procedure is available to check if a compilation chain meets such requirements.
Here, we outline our ongoing research inspired by translation validation, to
effectively check one of those principles.
