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.

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.

Management platform for the sport club based on Isabelle. This is a side project designed to simplify my own life.

Small yet powerful device intrusion detection mechanism. It has a negligible footprint, it is very portable, and basically can be used anywhere, even in IoT devices.

Dynamic tree implementation which allows for advanced use cases - like state keeping.

Parsing for Go based on C++/Rust.

High-performant server for managing basically anything. Written in Rust for the highest performance and stability, it is successfully used in many projects.

The frontend for the static analysis orchestration server

The static analysis orchestration server

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

DMA implementation for a custom MediaTek NAND driver

printf/scanf format parser

Convert compile_commands.json to Atmel Studio projects

Personal website in Jekyll with tons of Ruby magic

Eclipse IDE integration for the Equid static analyzer.

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

Numerous issues in MediaTek SoC were fixed.

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

Detect existing toolchains and their parameters

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

Wristband software was ported to new hardware and gradually improved.

A complete test suite for wristband software based on Robot Framework

Emulator of Bluetooth activity for a consumer electronics device

Test ANTLR grammars and prepare JUnit result XML from results. Useful in CI.

Recreate signatures of Clang's builtin functions.

A simple console interface for adding peers to Wireguard configuration files.

Inject full source code listing to russian GOST documentation in Microsoft Office format, even if it is huge.

A complete test suite for the C/C++/Java reversible debugger has been written under my supervision.

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

A complete infrastructure was built for the commercial company.

A complete infrastructure was built for my company.

RuC is a research language created to resolve issues in C languages. My role in it is in consulting of project members and occasional fixes.

Inject pages to SLAB caches in Linux. That may help improve performance and stability in memory-critical drivers in constrained environments.

Prepared a complete driver for emulating LAN clients.

Prepared cryptography improvements for router software.

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

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

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

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 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.

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.

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

A new initial setup wizard was implemented for router software.

Personal CV in TeX

A graphical interface to Race static analyzer, allowing to quickly spot locking failures.

A static analyzer aimed at finding race conditions in the Linux code. It uses Lockset algorithm with sophisticated selection of executed function pairs, and it has proven to be quite useful in production. The C parsing has been implemented through Roslyn patches.

Managed API for cloud usage of "Codename Race" static analyzer

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

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.

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.

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.

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).

I've optimized web interface prefetching and loading got 7x performance boost.

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

An application to swap OEM stores on Windows Phone 7 without reboot.

A tool for Windows Phone 8 images which tries to find certain properties (say, bugs) within policies.

The project which was a playground for Nokia Lumia (WP8) jailbreaks. Unfinished.

A tool to extract Windows Phone 8 FFU images.

Reverse-engineered Windows Phone 7 tile management used for improving image quality.

Well-known project adding HTC-like Clock to Windows Phone 7 home screen. First featured in Dynamics (WP7).

Back up all important data from fully unlocked Windows Phone 7 devices.

A part of OSBuilder for Windows Phone 7, a complete D000FF support was implemented to facilitate building of software images for HTC devices.

Do you miss fast & stable Windows Phone 7 File Managers and Registry Editors for PC? If you do, that's is a new approach for you. Launch ported Windows Mobile Device Center binaries.

Nokia Data Sense support for Windows Phone 7.

Dynamics ROM is one of the most functional custom ROMs for Windows Phone 7. It is based on the latest OS version (7.10.8862 to be specific) and contains all existing language packs.

Make Nokia Lumia applications compatible with other devices.

An application to disable or enable accelerometer using internal Windows Phone 7 APIs.

In some cases WiFi gets broken on HTC Windows Phone 7 devices because the driver is in inappropriate state. This tool fixes that when applied on system boot.

Make ringtones for the Windows Phone 7 without any limitations.

Bring native debugging experience to Windows Phone 7.

Opera Mobile 10 wasn't released for Windows Phone 7, but it was implemented through API emulation layer.

Unlock the ability to run the native Opera Mini on Windows Phone 7, which usually can't run unsigned native applications. That is implemented through API emulation layer.

Windows Phone 7 XIP (kernel) modules have modules marked with Z flag. They require a special relocation handling. The procedure for this has been reverse-engineered, coded and incorporated to OSBuilder for Windows Phone 7.

A tool for OSBuilder-based kitchens that fixes InitFlashFiles issues

The HTC HD2 driver which improves framerate in OpenGLES applications.

Hardware keyboard slide in/slide out sounds on SE XPERIA X1

The HTC HD2 driver has display distortions when running on Windows Mobile 6.5.x. The issue has been identified and patched directly in the driver.

Choose between "hexagonal" layout and "grid" Start Menu layout on Windows Mobile.

A modification to Windows Mobile start menu that it makes it squared instead of hexagonal.

Mini application aimed to be called on Search button call in Windows Phone 7, providing a set of quick settings.

The part of WP7 Full Unlock which disables executable file verification. Integrates with Account Manager to create seamless experience for the user.

The part of WP7 Full Unlock, this tool manages accounts on low level.

This part of WP7 full unlock manages atomic policy requests from the kernel. It disables checks for apps which are permitted to run without restrictions and integrates with Account Manager for the best user experience.

A part of WP7 Full Unlock which hides modified files from the kernel, allowing for Windows Update. Also, it improves performance via file system caching.

Windows Phone 7 doesn't have an ability to run unsigned and/or native applications. That's the way to unlock these capabilities.

A simple tool warming up the file system cache of Cloaking Filter (FsPerf)

The tool for OSBuilder-based WM6 kitchens that allows changing the active device.

Customizable Physics Engine for Windows Mobile 6.5. It allows changing various constants used when calculating scrolling in Start Menu and some other menus.

Decrease backlight beyond limits on SE XPERIA X1 to facilitate reading at night.

The XPERIA X1 display driver had critical bugs which introduced stutter/tearing. This fix removes the stutter and makes the work much more comfortable.

Native API for Windows Phone 7.

A graphical interface for SE XPERIA X1 overclocking.

Advanced LED patterns on SE XPERIA X1

Automatic locking of SE XPERIA X1 device so that it doesn't hang.

A run-once tool for SE XPERIA X1 overclocking. It was integrated to Dynamics ROM and was running automatically.

A very fast multi-threaded ImgfsFromDump for Windows Mobile used in OSBuilder.

Fix HTCVolumeControl in Windows Mobile 6.5.x on older HTC devices

Native Windows Phone 7 API which can be used to start executables, change themes, use PageManager, manage tiles and a a lot more.

The tool to remove rich signatures from executable files and/or all executable files in .xap. This tool was heavily used in Dynamics ROMs.

A minor tool from Dynamics ROM which auto starts Android by pressing the link in the start menu.

A sophisticated softkey reassignment tool for Windows Mobile 6.5.x. Also, fix position of old application windows completely automatically.

I found the reason why fonts are always bold in Windows Mobile 6.5.3 and created a fix for it.

Configurable X button with LED effects on SE XPERIA X1

Better alarm handling on Windows Mobile. Try avoiding common failures observed on SE XPERIA X1.

A minor tool in Dynamics ROM that replaces Sony Ericsson camera and allows changing default camera application.

The service in Dynamics ROM replaces not so useful silent mode with vibration mode.

Default XPERIA X1 sound driver doesn't allow two-way in-call voice recording. The patch resolves the problem by mixing sound sources.

The application for Windows Mobile that used external servers to identify the information about played music, such as title, artist, album, genre, etc.

HTCSensorSDK is widely used across different Windows Mobile applications and games. It allows using accelerometer data. This is the port of HTC's library to Sony Ericsson XPERIA X2 (non-HTC platform).

A minor tool from Dynamics ROM which changes the state of Bluetooth.

Minor tool from Dynamics ROM which changes the state of WiFi.

Shutdown menu override. Enable flashlight, bluetooth, wifi, open camera/email/phone/etc by long press of Power Off button.

A small implementation of HTC Sense-style controls for Windows Mobile, used in projects across Dynamics ROMs

The tool which colorizes taskbar during calls and other events.

First-boot customization tool for Windows Mobile 6.x.

Show all keyboards in SIP menu when using HTC EzInput.

Input Method Editor (IME) that fixes Sony Ericsson XPERIA X1 keyboard incompatibility with IMEEngine.

A stopwatch for Dynamics ROM.

A tool to configure Dynamics ROMs.

The tool can be used to pack resource-only files to a heavily reduced Portable Executable. That results in significant savings and may improve robustness on Windows Mobile 6.x devices by less exploitation of shared memory slots.

HTC-like application acting as a flashlight for all HTC and SE devices.

The tool to analyze virtual memory on Windows Mobile 6.x. Moreover, it gives understanding what to and how to improve in order to get better software robustness. It can be used to determine the most memory-hungry libraries. Then you can reversmod them (reversmodded libraries reserve less ram than recmodded ones) or make r/w sections shared to improve situation.

A timer application for Dynamics ROM

Contributed to XPERIA X1 Android project

A tool to get the complete size of OSBuilder packages.

A well-known ROM series for HTC HD2 and Sony Ericsson XPERIA X1 which changes how devices work and feel.

Modify builtin player appearance.

An ELF used to edit AdvancedSoftkeys configuration

Change 2-button softkey layout to 3-button (like in newer Sony Ericsson A2 phones like K850, W995)

Simple status bar clock indicator.

This ELF allows unpacking themes. Additionally, it cooperates with AdvancedSoftkeys and allows changing softkey themes.

Simple tool for displaying GPRS session information when the session ends.

A simple mini-GPS based map.

Add customizable current track information to Standby view.

Graphical desktop for EventControl.

The event editor which comes with EventControl.

Native ELF for Sony Ericsson devices which could be used to execute scenarios by date & time, GPS location and more.

Configurable flashlight app for Sony Ericsson

High-performance binary pattern search utility