A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Towards improving software security using language engineering and mbeddr C
2015
Proceedings of the Workshop on Domain-Specific Modeling - DSM 2015
This paper explores the use of domain-specific languages for improving software security, which deals with developing software in a way that is not maliciously exploitable. Specifically we demonstrate how modular extension of the C programming language can help with technical and processrelated aspects of software security. Some of these examples are already implemented, some are analytical extrapolations from related work we have done in the past; a detailed empirical evaluation has not yet
doi:10.1145/2846696.2846698
dblp:conf/oopsla/VoelterMK15
fatcat:kg2fcf2w7bcpdl2zpt7jzjbhwi