Projects - Commercial
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.
.NET builds for riscv32 (zkVM)
.NET distribution for fully native zkVM riscv32 compilation.
ARM64 builds for the VPN client
ARM64 builds for the VPN client.
Secure build system for the VPN client
Software supply chain-secure build system for the VPN client.
Easy STUN
Easy to use STUN daemon for Linux
ACS API RS
Auto Configuration Server controls in Rust
Custom router management cloud
Fully new router management cloud service.
Custom router software development
Fully new custom network router.
Custom OpenWRT-based platform
Custom OpenWRT-based ROM.
Cloud Management UI for routers
Router cloud management UI
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.
Private network management project plugins & processing engine
Wrote a processing engine for a private network management project. It included writing the core (based on Isabelle), related plugins, deployment processes. The project is released.
MediaTek platform bringup
Bringup of a MediaTek SoC to a software project along with the kernel, uBoot, target setup.
MediaTek NAND driver DMA implementation
DMA implementation for a custom MediaTek NAND driver
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.
MediaTek SoC driver improvements
Numerous issues in MediaTek SoC were fixed.
WiFi Mesh investigation
Find and fix numerous issues in a commercial WiFi Mesh implementation.
Native toolchain detection
Detect existing toolchains and their parameters
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
Test Suite for C/C++/Java reversible debugger
A complete test suite for the C/C++/Java reversible debugger has been written under my supervision.
Malware detection
Detected, reverse-engineered and eliminated malware in a big project.
SNULL LAN client emulation driver
Prepared a complete driver for emulating LAN clients.
Cryptography support for router software
Prepared cryptography improvements for router software.
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.
Initial setup wizard interface for router software
A new initial setup wizard was implemented for router software.
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).
Web interface backend optimization
I've optimized web interface prefetching and loading got 7x performance boost.
Custom DynDNS client
I've created a custom DynDNS client that is deployed to thousands of devices worldwide.