Dimitrios Karnikis

Experience

Embedded Software Developer | Bang & Olufsen A/S, Kongens Lyngby, Copenhagen | Oct 2022 - Ongoing

Control embedded devices via BLE communication layer

Develop the communication protocol for low-end embedded devices based on Bluetooth stack
Develop generic API to control the device state
Develop serialization and offloading techniques to handle user requests

Freelance Software Engineer | Aarno Labs LLC, Boston, Massachusetts (Remote) | Feb 2021 - Apr 2022

Secure computing and offloading techniques on low-end embedded devices & CI/CD for PaSh shell processing tool

Develop sandbox applications embedded in the runtime of high-level languages (Javascript)
Provide a secure subset of instructions by utilizing TEEs
Design offloading techniques for low-end IoT devices
Develop automation scripts for PaSh's CI/CD infrastructure
Develop and implement benchmark and pipeline scripts for high-speed shell processing

Postgrad Research Assistant | DiSCS Laboratory - FORTH-ICS, Heraklion, Crete | Feb 2019 - Feb 2021

Develop sandboxed applications on high-level languages atop of TEEs

Enhance level language runtimes (Lua) with TEE capabilities
Introduce memory and type-safe operations atop of TEE applications
Offer high-level bindings to the underlying native API calls
Solve challenges imposed by TEEs such as code signing, application re-compilation, manual re-partition and dynamic module loading

Undergrad Research Fellow | DiSCS Laboratory - FORTH-ICS, Heraklion, Crete | Nov 2016 - Feb 2019

Develop sandboxed applications on Android x86 using Intel SGX

Port Intel SGX framework to the x86 port of Android
Enhance Android Keystore and Secure Device Pairing with SGX capabilities
Offer embeddable API to use Intel SGX for their programs
Offer a fully working toolchain cross-compiler compliant with Android and Intel SGX