Re ections on Ken Thompson's Re ections on Trusting Trust (Extended Abstract)
Download:
|
|
by Wolfgang Goerigk
http://www.informatik.uni-kiel.de/~wg/New/../Berichte/TrustingTrust.ps.gz
Add To MetaCart
Abstract:
devoted his Turing Award lecture [20] to security problems due to Trojan Horses intruded by compiler
Citations
| 24 | Toward Compiler Implementation Correctness Proofs – Chirica, Martin - 1986 |
| 23 | Program correctness checking ... and the design of programs that check their work – Blum, Kannan - 1989 |
| 12 | Correct Programs without Proof? On Checker-Based Program Verification – Goerigk, Gaul, et al. - 1998 |
| 12 | Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct – Goerigk, Homann - 1998 |
| 5 | On Trojan Horses in Compiler Implementations – Goerigk - 1999 |
| 4 | Compiler Veri Revisited – Goerigk - 2000 |
