An equivalence-preserving CPS translation via multi-language semantics

@inproceedings{Ahmed2011AnEC,
  title={An equivalence-preserving CPS translation via multi-language semantics},
  author={Amal G Ahmed and Matthias Blume},
  booktitle={ICFP},
  year={2011}
}
Language-based security relies on the assumption that all potential attacks follow the rules of the language in question. When programs are compiled into a different language, this is true only if the translation process preserves observational equivalence. To prove that a translation preserves equivalence, one must show that if two program fragments cannot be distinguished by any source context, then their translations cannot be distinguished by any target context. Informally, target contexts… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 40 extracted citations

54 Citations

01020'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Similar Papers

Loading similar papers…