Tue 27 Oct 2015 13:30 - 13:50 at Brighton 4 - Session 3

In this paper we explore how the use of domain-specific languages can lead to improvements in 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. We rely on mbeddr, an extensible version of C developed with the JetBrains MPS language workbench. We close the paper with a discussion of the potential drawbacks of the approach and how these can be addressed in the future.

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

13:30 - 15:00: DSM - Session 3 at Brighton 4
dsm201513:30 - 13:50
Markus Völteritemis, Germany, Zaur MolotnikovFortiss, Bernd Kolbitemis AG
Link to publication Pre-print Media Attached
dsm201513:50 - 14:10
Brian BrollVanderbilt University, Akos LedecziVanderbilt University
dsm201514:10 - 14:30
Hugo AndradeChalmers University of Technology, Federico GiaimoChalmers University of Technology, Christian BergerUniversity of Gothenburg, Ivica CrnkovicChalmers University of Technology, Sweden
dsm201514:30 - 15:00