Secure Compilation to Protected Module Architectures

@article{Patrignani2015SecureCT,
  title={Secure Compilation to Protected Module Architectures},
  author={Marco Patrignani and Pieter Agten and Raoul Strackx and Bart Jacobs and Dave Clarke and Frank Piessens},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2015},
  volume={37},
  pages={6:1-6:50}
}
A fully abstract compiler prevents security features of the source language from being bypassed by an attacker operating at the target language level. Unfortunately, developing fully abstract compilers is very complex, and it is even more so when the target language is an untyped assembly language. To provide a fully abstract compiler that targets untyped assembly, it has been suggested to extend the target language with a protected module architecture—an assembly-level isolation mechanism… CONTINUE READING
Highly Cited
This paper has 61 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 2 times over the past 90 days. VIEW TWEETS

Citations

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

62 Citations

010203020142015201620172018
Citations per Year
Semantic Scholar estimates that this publication has 62 citations based on the available data.

See our FAQ for additional information.

References

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

Similar Papers

Loading similar papers…