Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code

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]

Authors

Shun Hinatsu

This author has not been identified. Look up 'Shun Hinatsu' in Google

Koichi Shimizu

This author has not been identified. Look up 'Koichi Shimizu' in Google

Takeshi Ueda

This author has not been identified. Look up 'Takeshi Ueda' in Google

Benoît Boyer

This author has not been identified. Look up 'Benoît Boyer' in Google

David Mentré

This author has not been identified. Look up 'David Mentré' in Google