1 Formal Approaches to Secure Compilation

@inproceedings{Patrignani20181FA,
  title={1 Formal Approaches to Secure Compilation},
  author={Marco Patrignani},
  year={2018}
}
Secure compilation is a discipline aimed at developing compilers that preserve the security properties of the source programs they take as input in the target programs they produce as output. This discipline is broad in scope, targeting languages with a variety of features (including objects, higher-order functions, dynamic memory allocation, call/cc, concurrency) and employing a range of different techniques to ensure that source-level security is preserved at the target level. This paper… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 133 REFERENCES

On Compositional Compiler Correctness and Fully Abstract Compilation

Daniel Patterson, Amal Ahmed
  • In Workshop on Principles of Secure Compilation
  • 2018
VIEW 12 EXCERPTS
HIGHLY INFLUENTIAL

Noninterference for free

VIEW 13 EXCERPTS
HIGHLY INFLUENTIAL

Local Memory via Layout Randomization

  • 2011 IEEE 24th Computer Security Foundations Symposium
  • 2011
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Secure Compilation and Hyperproperty Preservation

  • 2017 IEEE 30th Computer Security Foundations Symposium (CSF)
  • 2017
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

On Modular and Fully-Abstract Compilation

  • 2016 IEEE 29th Computer Security Foundations Symposium (CSF)
  • 2016
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…