Abstract | ||
---|---|---|
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 process-related 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 been done. We rely on mbeddr, an extensible version of C developed with the JetBrains MPS language workbench. We conclude the paper with a discussion of the potential drawbacks of the approach and how these can be addressed in the future. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1145/2846696.2846698 | DSM@SPLASH |
Field | DocType | Citations |
Domain-specific language,Programming language,Computer science,Software security assurance,Software,Backporting,Modular design,Software construction,Software development,Social software engineering | Conference | 1 |
PageRank | References | Authors |
0.35 | 18 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Markus Voelter | 1 | 321 | 29.85 |
Zaur Molotnikov | 2 | 10 | 1.52 |
Bernd Kolb | 3 | 151 | 13.29 |