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]
@inproceedings{HinatsuSUBM19,
title = {Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code},
author = {Shun Hinatsu and Koichi Shimizu and Takeshi Ueda and Benoît Boyer and David Mentré},
year = {2019},
doi = {10.1007/978-3-030-29029-0_27},
url = {https://doi.org/10.1007/978-3-030-29029-0_27},
researchr = {https://researchr.org/publication/HinatsuSUBM19},
cites = {0},
citedby = {0},
pages = {292-304},
booktitle = {Advances in Networked-based Information Systems - The 22nd International Conference on Network-Based Information Systems, NBiS 2019, Oita, Japan, September 5-7, 2019},
editor = {Leonard Barolli and Hiroaki Nishino and Tomoya Enokido and Makoto Takizawa 0001},
volume = {1036},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
isbn = {978-3-030-29029-0},
}