 | Up a level |
Number of items: 2.
Spirakis, Paul 
ORCID: 0000-0001-5396-3749, Liagkou, Vasia, Nastou, Panagiotis and Stamatiou, Yannis
(2021)
Effective enumeration of infinitely many programs that evade Formal Malware Analysis.
In: 5th International Symposium on Cyber Security Cryptology and Machine Learning (CSCML2021), 2021-7-8 - 2021-7-9, Beer-Sheva Israel.
Spirakis, Paul ORCID: 0000-0001-5396-3749, Liagkou, Vasiliki, Nastou, Panagiotis and Stamatiou, Ioannis
(2022)
On the undecidability of the Panopticon detection problem.
In: The 6th International Symposium on Cyber Security, Cryptology and Machine Learning (CSCML 2022), 2022-6-30 - 2022-7-1, Ben-Gurion U. Israel.