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

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Session 3DSM at Brighton 4
13:30
20m
Talk
Towards Improving Software Security using Language Engineering and mbeddr C
DSM
Markus Völter itemis, Germany, Zaur Molotnikov Fortiss, Bernd Kolb itemis AG
Link to publication Pre-print Media Attached
13:50
20m
Talk
Extensible Visual Constraint Language
DSM
Brian Broll Vanderbilt University, Akos Ledeczi Vanderbilt University
14:10
20m
Talk
Systematic Evaluation of Three Data Marshalling Approaches for Distributed Software Systems
DSM
Hugo Andrade Chalmers University of Technology, Federico Giaimo Chalmers University of Technology, Christian Berger University of Gothenburg, Ivica Crnkovic Chalmers University of Technology, Sweden
14:30
30m
Other
Group work topic selection
DSM