Skip to Main content Skip to Navigation
Conference papers

How to Teach the Undecidability of Malware Detection Problem and Halting Problem

Abstract : Malware detection is a term that is often associated to Computer Science Security. The underlying main problem is called Virus detection and consists in answering the following question: Is there a program that can always decide if a program is a virus or not? On the other hand, the undecidability of some problems is an important notion in Computer Science : an undecidable problem is a problem for which no algorithm exists to solve it. We propose an activity that demonstrates that virus detection is an undecidable problem. Hence we prove that the answer to the above question is no. We follow the proof given by Cohen in his PhD in 1983. The proof is close to the proof given by Turing in 1936 of the undecidability of the Halting problem. We also give an activity to prove the undecidability of the Halting problem. These proofs allow us to introduce two important ways of proving theorems in Computer Science : proof by contradiction and proof by case disjunction. We propose a simple way to present these notions to students using a maze. Our activity is unplugged, i.e. we use only a paper based model of computer , and is designed for high-school students. This is the reason why we use Scratch to write our "programs".
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Pascal Lafourcade Connect in order to contact the contributor
Submitted on : Thursday, April 30, 2020 - 3:31:42 PM
Last modification on : Sunday, June 26, 2022 - 2:49:29 AM


Files produced by the author(s)


  • HAL Id : hal-02559585, version 1


Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert. How to Teach the Undecidability of Malware Detection Problem and Halting Problem. WISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia. ⟨hal-02559585⟩



Record views


Files downloads