Fetching the paper…
Reading the bibliography…
Rust aims to offer full memory safety for programs, a guarantee that untamed C programs do not enjoy.
C. Cowan, “Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks,” in USENIX Security Symposium , 1998. [Online]. Available: https://api.semanticscholar.org/CorpusID:2358856
1998
Earlier work this paper cites.
C. Verhoef and A. Terekhov, “The realities of language conversions,” IEEE Software , vol. 17, no. 6, pp. 111–124, Dec. 2000. [Online]. Available: http://ieeexplore.ieee.org/document/895180/
2000
Earlier work this paper cites.
T. cker Chiueh and F.-H. Hsu, “Rad: a compile-time solution to buffer overflow attacks,” Proceedings 21st International Conference on Distributed Computing Systems , pp. 409–417, 2001. [Online]. Available: https://api.semanticscholar.org/CorpusID:32026510
2001
Earlier work this paper cites.
J. S. Foster, T. Terauchi, and A. Aiken, “Flow-sensitive type qualifiers,” in Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation , 2002, pp. 1–12
2002
Earlier work this paper cites.
T. Jim, G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang, “Cyclone: A safe dialect of c,” in USENIX Annual Technical Conference, General Track , 2002. [Online]. Available: https://api.semanticscholar.org/CorpusID:5958340
2002
Earlier work this paper cites.
A. van de Ven and I. Molnar, “Exec shield,” 2004
2004
Earlier work this paper cites.
W. Xu, D. C. DuVarney, and R. Sekar, “An efficient and backwards-compatible transformation to ensure memory safety of c programs,” in Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering , 2004, pp. 117–126
2004
Earlier work this paper cites.
G. C. Necula, J. Condit, M. Harren, S. McPeak, and W. Weimer, “Ccured: Type-safe retrofitting of legacy software,” ACM Transactions on Programming Languages and Systems (TOPLAS) , vol. 27, no. 3, pp. 477–526, 2005
2005
Earlier work this paper cites.
——, “Ccured: type-safe retrofitting of legacy software,” ACM Trans. Program. Lang. Syst. , vol. 27, pp. 477–526, 2005. [Online]. Available: https://api.semanticscholar.org/CorpusID:8303920
2005
Earlier work this paper cites.
J. Condit, M. Harren, Z. Anderson, D. Gay, and G. C. Necula, “Dependent types for low-level programming,” in Proceedings of the 16th European Symposium on Programming , ser. ESOP’07. Berlin, Heidelberg: Springer-Verlag, 2007, p. 520–535
2007
Earlier work this paper cites.
R. Majumdar and K. Sen, “Hybrid concolic testing,” 29th International Conference on Software Engineering (ICSE’07) , pp. 416–426, 2007. [Online]. Available: https://api.semanticscholar.org/CorpusID:6760091
2007
Earlier work this paper cites.
C. Cadar, D. Dunbar, and D. R. Engler, “Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs,” in USENIX Symposium on Operating Systems Design and Implementation , 2008. [Online]. Available: https://api.semanticscholar.org/CorpusID:2520229
2008
Earlier work this paper cites.
S. Nagarakatte, J. Zhao, M. M. K. Martin, and S. Zdancewic, “Softbound: highly compatible and complete spatial memory safety for c,” in ACM-SIGPLAN Symposium on Programming Language Design and Implementation , 2009. [Online]. Available: https://api.semanticscholar.org/CorpusID:248719
2009
Earlier work this paper cites.
——, “Cets: compiler enforced temporal safety for c,” in International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing , 2010. [Online]. Available: https://api.semanticscholar.org/CorpusID:914358
2010
Earlier work this paper cites.
D. Clarke, J. Östlund, I. Sergey, and T. Wrigstad, “Ownership types: A survey,” in Aliasing in Object-Oriented Programming , 2013. [Online]. Available: https://api.semanticscholar.org/CorpusID:15940253
2013
Earlier work this paper cites.
L. Szekeres, M. Payer, T. Wei, and D. Song, “Sok: Eternal war in memory,” in 2013 IEEE Symposium on Security and Privacy . IEEE, 2013, pp. 48–62
2013
Earlier work this paper cites.
“The heartblead bug (cve-2014-0160).” [Online]. Available: https://heartbleed.com/
2014
Earlier work this paper cites.
C. Tice, T. Roeder, P. Collingbourne, S. Checkoway, Ú. Erlingsson, L. Lozano, and G. Pike, “Enforcing forward-edge control-flow integrity in gcc & llvm,” in USENIX Security Symposium , 2014. [Online]. Available: https://api.semanticscholar.org/CorpusID:6034518
2014
Cited alongside, same era.
R. N. M. Watson, J. Woodruff, P. G. Neumann, S. W. Moore, J. Anderson, D. Chisnall, N. H. Dave, B. Davis, K. Gudka, B. Laurie, S. J. Murdoch, R. M. Norton, M. Roe, S. D. Son, and M. Vadera, “Cheri: A hybrid capability-system architecture for scalable software compartmentalization,” 2015 IEEE Symposium on Security and Privacy , pp. 20–37, 2015. [Online]. Available: https://api.semanticscholar.org/CorpusID:7346980
2015
Cited alongside, same era.
“”the web/local” boundary is fuzzy: A security study of chrome’s process-based sandboxing,” Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security , 2016. [Online]. Available: https://api.semanticscholar.org/CorpusID:7573477
2016
Cited alongside, same era.
A. Machiry, J. Kastner, M. McCutchen, A. Eline, K. Headley, and M. W. Hicks, “C to checked c by 3c,” Proceedings of the ACM on Programming Languages , vol. 6, pp. 1 – 29, 2022. [Online]. Available: https://api.semanticscholar.org/CorpusID:247748774
2022
Later among the works it cites.
J. Zhou, J. Criswell, and M. W. Hicks, “Fat pointers for temporal memory safety of c,” Proceedings of the ACM on Programming Languages , vol. 7, pp. 316 – 347, 2022. [Online]. Available: https://api.semanticscholar.org/CorpusID:251903483
2022
Later among the works it cites.
“Developer echosystem 2023: Rust.” [Online]. Available: https://www.jetbrains.com/lp/devecosystem-2023/rust/
2023
Later among the works it cites.
M. Emre, P. Boyland, A. Parekh, R. Schroeder, K. Dewey, and B. Hardekopf, “Aliasing limits on translating c to safe rust,” Proceedings of the ACM on Programming Languages , vol. 7, no. OOPSLA1, pp. 551–579, 2023
2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
H. Hu, S. Shinde, S. Adrian, Z. L. Chua, P. Saxena, and Z. Liang, “Data-oriented programming: On the expressiveness of non-control data attacks,” in 2016 IEEE Symposium on Security and Privacy (SP) . IEEE, 2016, pp. 969–986
2016
Cited alongside, same era.
R. Jung, J.-H. Jourdan, R. Krebbers, and D. Dreyer, “Rustbelt: Securing the foundations of the rust programming language,” Proceedings of the ACM on Programming Languages , vol. 2, no. POPL, pp. 1–34, 2017
2017
Cited alongside, same era.
G. J. Duck and R. H. C. Yap, “Effectivesan: type and memory error detection using dynamically typed c/c++,” SIGPLAN Not. , vol. 53, no. 4, p. 181–195, Jun. 2018. [Online]. Available: https://doi.org/10.1145/3296979.3192388
2018
Cited alongside, same era.
A. S. Elliott, A. Ruef, M. W. Hicks, and D. Tarditi, “Checked c: Making c safe by extension,” 2018 IEEE Cybersecurity Development (SecDev) , pp. 53–60, 2018. [Online]. Available: https://api.semanticscholar.org/CorpusID:53413266
2018
Cited alongside, same era.
2018
Cited alongside, same era.
“Arm MTE architecture: Enhancing memory safety,” 8 2019. [Online]. Available: https://community.arm.com/arm-community-blogs/b/architectures-and-processors-blog/posts/enhancing-memory-safety
2019
Cited alongside, same era.
Z. Huang, D. Lie, G. Tan, and T. Jaeger, “Using safety properties to generate vulnerability patches,” 2019 IEEE Symposium on Security and Privacy (SP) , pp. 539–554, 2019. [Online]. Available: https://api.semanticscholar.org/CorpusID:106401501
2019
Cited alongside, same era.
S. Park, S. Lee, W. Xu, H. Moon, and T. Kim, “libmpk: Software abstraction for intel memory protection keys (intel { \{ MPK } \} ),” in 2019 USENIX Annual Technical Conference (USENIX ATC 19) , 2019, pp. 241–254
2019
Cited alongside, same era.
A. Fioraldi, D. Maier, H. Eißfeldt, and M. Heuse, “Afl++: combining incremental steps of fuzzing research,” in Proceedings of the 14th USENIX Conference on Offensive Technologies , ser. WOOT’20. USA: USENIX Association, 2020
2020
Cited alongside, same era.
Immunant, “c2rust: Migrate C code to Rust,” https://github.com/immunant/c2rust , accessed: July 4, 2023
2023
Later among the works it cites.
G. Li, H. Zhang, J. Zhou, W. Shen, Y. Sui, and Z. Qian, “A hybrid alias analysis and its application to global variable protection in the linux kernel,” in 32nd USENIX Security Symposium (USENIX Security 23) , 2023, pp. 4211–4228
2023
Later among the works it cites.
2023
Later among the works it cites.
2023
Later among the works it cites.
2024
Closest in time.
2024
Closest in time.
Google, “Oss-fuzz vulnerabilities github repository,” accessed: July, 2024. [Online]. Available: https://github.com/google/oss-fuzz-vulns
2024
Closest in time.
F. Gorter, T. Kroes, H. Bos, and C. Giuffrida, “Sticky tags: Efficient and deterministic spatial memory error mitigation using persistent memory tags,” in 2024 IEEE Symposium on Security and Privacy (SP) . IEEE Computer Society, 2024, pp. 217–217
2024
Closest in time.
B. Johannesmeyer, A. Slowinska, H. Bos, and C. Giuffrida, “Practical { \{ Data-Only } \} attack generation,” in 33rd USENIX Security Symposium (USENIX Security 24) , 2024, pp. 1401–1418
2024
Closest in time.
D. Magdaleno, “Bsd coreutils is a port of many utilities from bsd to linux and macos,” accessed: April, 2024. [Online]. Available: https://github.com/DiegoMagdaleno/BSDCoreUtils
2024
Closest in time.
Y. SONG, X. GAO, W. LI, W.-N. CHIN, and A. ROYCHOUDHURY, “Provenfix: Temporal property guided program repair,” 2024
2024
Closest in time.