On the Challenge of Sound Code for Operating Systems-Reference-Cited by-同舟云学术

On the Challenge of Sound Code for Operating Systems

Published:2023-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 12th Workshop on Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Klimt Jonathan¹^ORCID,Kröning Martin¹^ORCID,Lankes Stefan¹^ORCID,Monti Antonello²^ORCID

Affiliation:

1. Institute for Automation of Complex Power Systems, Aachen, Germany

2. Institute for Automation of Complex Power Systems, Aachen, Germany, Fraunhofer Institute for Applied Information Technology, Sankt Augustin, Germany

Funder

Horizon 2020 Framework Programme

HORIZON EUROPE Framework Programme

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3623759.3624554

Reference37 articles.

1. The Chromium projects authors. [n. d.] Memory safety . Publisher : The Chromium Projects. Retrieved Feb. 19, 2023 from https://www.chromium.org/Home/chromium-security/memory-safety/. The Chromium projects authors. [n. d.] Memory safety. Publisher: The Chromium Projects. Retrieved Feb. 19, 2023 from https://www.chromium.org/Home/chromium-security/memory-safety/.

2. Paul Kehrer . 2019. Memory unsafety in apple's operating systems . Publisher : langui.sh. ( July 23, 2019 ). Retrieved Feb. 19, 2023 from https://langui.sh/2019/07/23/apple-memory-safety/. Paul Kehrer. 2019. Memory unsafety in apple's operating systems. Publisher: langui.sh. (July 23, 2019). Retrieved Feb. 19, 2023 from https://langui.sh/2019/07/23/apple-memory-safety/.

3. Evgenii Stepanov . 2020. Detecting memory corruption bugs with HWASan . Publisher : Android Developers Blog. ( Feb. 13, 2020 ). Retrieved Feb. 19, 2023 from https://android-developers.googleblog.com/2020/02/detecting-memory-corruption-bugs-with-hwasan.html. Evgenii Stepanov. 2020. Detecting memory corruption bugs with HWASan. Publisher: Android Developers Blog. (Feb. 13, 2020). Retrieved Feb. 19, 2023 from https://android-developers.googleblog.com/2020/02/detecting-memory-corruption-bugs-with-hwasan.html.

4. Gavin Thomas . 2019. A proactive approach to more secure code . Publisher : Microsoft Security Response Center Blog . ( July 16, 2019 ). Retrieved Feb. 19, 2023 from https://msrc.microsoft.com/blog/2019/07/a-proactive-approach-to-more-secure-code/. Gavin Thomas. 2019. A proactive approach to more secure code. Publisher: Microsoft Security Response Center Blog. (July 16, 2019). Retrieved Feb. 19, 2023 from https://msrc.microsoft.com/blog/2019/07/a-proactive-approach-to-more-secure-code/.

5. 2023. PYPL PopularitY of programming language index. (July 2023) . Retrieved July 31, 2023 from https://web.archive.org/web/20230728134343/https://pypl.github.io/PYPL.html. 2023. PYPL PopularitY of programming language index. (July 2023). Retrieved July 31, 2023 from https://web.archive.org/web/20230728134343/https://pypl.github.io/PYPL.html.