How to Teach the Undecidability of Malware Detection Problem and Halting Problem - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

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

Matthieu Journault
• Function : Author
Malika More
• Function : Author
• PersonId : 1220881
• IdHAL : malika-more
Rémy Poulain
• Function : Author
• PersonId : 1038703
Léo Robert

#### 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".

#### Domains

Cryptography and Security [cs.CR]

### Dates and versions

hal-02559585 , version 1 (30-04-2020)

### Identifiers

• HAL Id : hal-02559585 , version 1

### Cite

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⟩

### Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

455 View