8Nis
What are some applications of automata theory and logical paradoxes on penetration testing and exploit discovery?
It was hard to find papers on the applications of logical paradoxes(such as how Turing's proof of the halting problem) or automata theory on penetration testing or exploit discovery. What are some projects one could work on to delve further into these applications? Are there good resources that discuss or explain the topic?
