SafeCUDA/paper.bib at main · GinOwO/SafeCUDA · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
@manual{nvidiacuda:2024,
    author = {NVIDIA Corporation},
    title = {CUDA Toolkit Documentation},
    year = {2024},
    note = {[Online; accessed 2025-11-06]},
    url = {https://developer.nvidia.com/cuda-toolkit}
}

@article{miele:2016,
    author    = {Andrea Miele},
    title     = {Buffer overflow vulnerabilities in CUDA: a preliminary analysis},
    journal   = {Journal of Computer Virology and Hacking Techniques},
    volume    = {12},
    number    = {2},
    pages     = {113--120},
    year      = {2016},
    issn      = {2263-8733},
    doi       = {10.1007/s11416-015-0251-1},
    url       = {https://doi.org/10.1007/s11416-015-0251-1},
    publisher = {Springer}
}


@article{ziad:2023,
    author = {Ziad, Mohamed and Damani, Sana and Jaleel, Aamer and Keckler, Stephen and Stephenson, Mark},
    title = {cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications},
    journal = {Proceedings of the ACM on Programming Languages},
    volume = {7},
    pages = {124--147},
    year = {2023},
    doi = {10.1145/3591225}
}

@article{ziad:2025,
    author = {Tarek Ibn Ziad, M. and Damani, S. and Stephenson, M. and Keckler, S. W. and Jaleel, A.},
    title = {GPUArmor: A Hardware-Software Co-design for Efficient and Scalable Memory Safety on GPUs},
    journal = {arXiv preprint},
    year = {2025},
    eprint = {2502.17780},
    doi = {10.48550/arXiv.2502.17780}
}

@article{henriksen:2021,
    author = {Henriksen, Troels},
    title = {Bounds Checking on GPU},
    journal = {International Journal of Parallel Programming},
    volume = {49},
    pages = {1--20},
    year = {2021},
    doi = {10.1007/s10766-021-00703-4}
}

@inproceedings{lee:2022,
    author = {Lee, Jaewon and Kim, Yonghae and Cao, Jiashen and Kim, Euna and Lee, Jaekyu and Kim, Hyesoon},
    title = {Securing GPU via Region-based Bounds Checking},
    booktitle = {Proceedings of the 49th Annual International Symposium on Computer Architecture (ISCA '22)},
    pages = {27--41},
    year = {2022},
    doi = {10.1145/3470496.3527420}
}

@inproceedings{nethercote:2007,
    author = {Nethercote, Nicholas and Seward, Julian},
    title = {Valgrind: a framework for heavyweight dynamic binary instrumentation},
    booktitle = {Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '07)},
    pages = {89--100},
    year = {2007},
    publisher = {ACM},
    doi = {10.1145/1250734.1250746}
}

@inproceedings{serebryany:2012,
    author = {Konstantin Serebryany and Derek Bruening and Alexander Potapenko and Dmitriy Vyukov},
    title = {{AddressSanitizer}: A Fast Address Sanity Checker},
    booktitle = {2012 USENIX Annual Technical Conference (USENIX ATC 12)},
    year = {2012},
    isbn = {978-931971-93-5},
    address = {Boston, MA},
    pages = {309--318},
    url = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/serebryany},
    publisher = {USENIX Association},
    month = jun
}

@article{di:2021,
  author={Di, Bang and Sun, Jianhua and Chen, Hao and Li, Dong},
  journal={IEEE Transactions on Parallel and Distributed Systems},
  title={Efficient Buffer Overflow Detection on GPU},
  year={2021},
  volume={32},
  number={5},
  pages={1161-1177},
  keywords={Graphics processing units;Kernel;Memory management;Runtime;Resource management;Performance evaluation;Instruction sets;Buffer overflows;CUDA;GPGPU;unified memory},
  doi={10.1109/TPDS.2020.3042965}
}

@inproceedings{lee:2025,
  author={Lee, Jaewon and Chung, Euijun and Singh, Saurabh and Na, Seonjin and Kim, Yonghae and Lee, Jaekyu and Kim, Hyesoon},
  booktitle={2025 IEEE International Symposium on High Performance Computer Architecture (HPCA)},
  title={Let-Me-In: (Still) Employing In-pointer Bounds Metadata for Fine-grained GPU Memory Safety},
  year={2025},
  volume={},
  number={},
  pages={1648-1661},
  keywords={Costs;Instruction sets;Memory management;Decision making;Graphics processing units;Static analysis;Metadata;Hardware;Robustness;Safety;gpu;security;architecture;memory safety},
  doi={10.1109/HPCA61900.2025.00122}
}