bflat-ts — Bflat Test Suite

Test suite for bflat, the ahead-of-time compiler that turns C# into small, self-contained native binaries. Built at Nethermind and run as part of their zero-knowledge testing environment.

libziskos for bflat

Ziskos for bflat

bflat compiler for zkVM

Compile C# applications into fully native riscv64 binaries.

.NET builds for riscv64 (zkVM)

.NET distribution for fully native zkVM riscv64 compilation.

Easy STUN

Easy to use STUN daemon for Linux

ACS API RS

Auto Configuration Server controls in Rust

Private network management project's UI

The UI for a private network management project written based on Isabelle platform and Yew framework. Coded pages logic, dashboards, and everything about it. The project is released.

MediaTek platform bringup

Bringup of a MediaTek SoC to a software project along with the kernel, uBoot, target setup.

Equid IDE integration

Eclipse IDE integration for the Equid static analyzer.

Build trace

A project that is tracing the build on Linux, Windows and Mac and prepares configuration for the static analysis.

WiFi Mesh investigation

Find and fix numerous issues in a commercial WiFi Mesh implementation.

Minimal Message Broker

Message broker that can be installed to embedded software and used from Python test suite.

Wristband software

Wristband software was ported to new hardware and gradually improved.

Wristband Test Suite

A complete test suite for wristband software based on Robot Framework

Bluetooth emulator

Emulator of Bluetooth activity for a consumer electronics device

Malware detection

Detected, reverse-engineered and eliminated malware in a big project.

SECCOMP for legacy kernel

SECCOMP mechanism has been ported to older Linux to facilitate LXC integration.

Package Manager for router software

A custom package manager has been coded for a commercial router software. It was based on opkg, but supported many additional features.

OpenVPN solution for router software

A custom OpenVPN solution for Linux-based router software was architected, developed and made available publicly. Partially supports cryptography offloading and packet traffic acceleration.

Containerization support for router software

A complete solution based on LXC has been written for commercial router. It was created with resource constraints in mind, so it actually could provide working containerization on a disk drive smaller than 30MB.

OverlayFS support for router software

OverlayFS support has been implemented in Linux-based router software package. While the OverlayFS itself is a kernel's feature, a lot of efforts were put into making it supported on a complete solution level, with booting process altered, security, secure erase and other levels sorted out.

Docker MIPS feasibility research

The Docker didn't have MIPS support back at that time, but the customer wanted to see it running. I investigated whether it is possible to port Docker (yes, it was), however, we stumbled upon Docker's design implications that prevented us from finishing the project.

WiFi driver fixes

Fixed multiple issues in Atheros and Intel (Metalink) WiFi drivers.

DWC2 USB driver port

Ported DWC2 driver to a new platform, significantly improving stability and performance.

Custom static analyzer for router software

Since we had a host controller driver which was fatally flawed regarding locking, I've made a custom static analyzer to deal with locking problems. It was based on Roslyn patched to support C.

Refactoring of USB Host Controller Driver

Host Controller Driver used in one of commercial SoCs has been fatally flawed. Fixing it was a major challenge, which required creation of a custom static analyzer.

IPSec solution for router software

An L2TP/L2TP+IPSec solution for Linux-based router software was architected, developed and made available publicly. It also works with partial cryptography and packet traffic acceleration.

Certificate Store for router software

I've architected and implemented a complete certificate store module for commercial router, which supported certificate/private key generation, import/export, verification against a private key. Still used without major edits (as of 2022).

Custom DynDNS client

I've created a custom DynDNS client that is deployed to thousands of devices worldwide.