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".
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02559585
Contributor : Pascal Lafourcade <>
Submitted on : Thursday, April 30, 2020 - 3:31:42 PM
Last modification on : Monday, May 11, 2020 - 9:13:18 AM

File

WISE2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02559585, version 1

Citation

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⟩

Share

Metrics

Record views

17

Files downloads

8