Some of my works and publications:
- OWASP Ruby on Rails Security Cheat Sheet, 2017, wiki link
- Future Programming Paradigms in the Automotive Industry. FAT-Schriftenreihe, 2016. PDF
- Improving Software Security using Language Engineering. DSM 2015. PDF
- Automated Domain-Specific C Verification with mbeddr. ASE 2014. PDF, bib
- Master's Thesis "Projectional C++". TU Munich 2013. PDF
- Projectional C++ on github: link