Memory Efficient and Provably Secure Virus Detection. - Hayami Motohashi; Kazuki Yoneyama (ISITA, 2020)