Shun Hinatsu, Koichi Shimizu, Takeshi Ueda, Benoît Boyer, David Mentré. Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code. In Leonard Barolli, Hiroaki Nishino, Tomoya Enokido, Makoto Takizawa 0001, editors, Advances in Networked-based Information Systems - The 22nd International Conference on Network-Based Information Systems, NBiS 2019, Oita, Japan, September 5-7, 2019. Volume 1036 of Advances in Intelligent Systems and Computing, pages 292-304, Springer, 2019. [doi]
Abstract is missing.