Title
Towards improving software security using language engineering and mbeddr C.
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 Voelter132129.85
Zaur Molotnikov2101.52
Bernd Kolb315113.29