Enabling trusted software integrity

@inproceedings{Kirovski2002EnablingTS,
  title={Enabling trusted software integrity},
  author={Darko Kirovski and Milenko Drinic and Miodrag Potkonjak},
  booktitle={ASPLOS},
  year={2002}
}
Preventing execution of unauthorized software on a given computer plays a pivotal role in system security. The key problem is that although a program at the beginning of its execution can be verified as authentic, while running, its execution flow can be redirected to externally injected malicious code using, for example, a buffer overflow exploit. Existing techniques address this problem by trying to detect the intrusion at run-time or by formally verifying that the software is not prone to a… CONTINUE READING
Highly Cited
This paper has 103 citations. REVIEW CITATIONS