Security Analysis of Automotive Architectures using Probabilistic Model Checking

In this work, we are looking at how to analyze automotive architectures using methods from the domain of probabilistic model-checking. We assess components separately and for their exploitability and patchability and combine these assessments with a given architecture into a continuous-time Markov chain. This Markov chain can be analyzed for properties such as “How long is message m exploitable within 1 year?”. The results give us a quantifiable measure for the security of an automotive architecture and allows us to compare architectures.

Read More

Raspberry Pi Mail Server (updated)

In many cases it can be beneficial to run an own mail server. Although it takes a bit of effort to set up and keep it running securely, the option to store a large amount of mails in a secure location can be very interesting. This also convinced me to set up my own mail server. In the following, I will cover most of the important tools and knowledge required to set up your own mail server. And the best thing about this: You don’t need much power, a Raspberry Pi can easily handle a small private mail server!

Read More

PulseAudio + Java = PulseAudioJava

PulseAudio is the audio framework used in many Linux distributions. It controls all audio to be played and all audio playback devices (e.g. soundcards, headphones) connected to the computer. PulseAudio also provides tools to manage these inputs and outputs (called sinks). In our electric taxi EVA we have stereo speakers on every seat. We use PulseAudio to manage the input from internet radio, as well as streams from passenger smartphones and control which output (or seat) each input is directed to. For EVA, we wanted to be able to control PulseAudio inputs and sinks from our Java framework, such that we can start playing music from different sources on different seats. The tool described here allows us to do exactly this.

Read More

Multi Machine Screen Lock

On my desk at work, I am using two computers: A Windows laptop, given from our IT department and a self-administered Linux workstation. The Windows laptop is Windows 7 and the workstation is Manjaro, an Arch Linux derivate, with a KDE desktop. The workstation is crunching numbers and running most of the time. I use Synergy to use the mouse and keyboard attached to the Linux workstation also on my laptop. This setup works fine, except for the case of locking screens when leaving the desk. I always have to lock and unlock both computers separately. This is costs me a few seconds and is thus not acceptable. A script is absolutely required to make this easier.

Read More

EVA - The Electric Taxi

My employer TUM CREATE is a research organization centered around electric vehicles. In this context, it was decided to also build an actual electric vehicle. As taxis in Singapore account for 15% of all driven kilometers, though they only make up 3% of all vehicles. Thus, the leverage effect for environmental impact is especially high in this category of vehicles. Following this, TUM CREATE decided to build an electric taxi, designed for tropical megacities, such as Singapore. The outcome of this project is EVA.

Read More

Kirby BibTeX

While there exist a number of publication management tools on the web, I prefer to have my publications stored locally in a BibTeX file. This BibTeX file might be easy to parse for machines, but it is neither particularly nice for humans to read nor pretty. Luckily, there exist some projects out there using JavaScript to parse a BibTeX file into HTML and show this in a pretty manner. I base my work on the work of Ville Karavirta and Martin Lukasiewycz. Based on this I developed a small Kirby tag which allows to easily include a publications list into a Kirby page.

Read More