×

Found 5 Documents (Results 1–5)

A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection. (English) Zbl 1509.94142

Guo, Fuchun (ed.) et al., Information security and cryptology. 14th international conference, Inscrypt 2018, Fuzhou, China, December 14–17, 2018, Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11449, 404-423 (2018).
MSC:  94A60
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field