DavidDaryanto
VersaNexusIX
Security, low-level systems, cryptography, digital forensics
Systems, tools, and research.
Independent work across low-level engineering, cryptographic systems, and digital forensics.
Repository descriptions and public research metadata are treated as the source of truth. Unverified credentials are not presented as awards.
LanguagesC, C++, Python, V
SystemsLinux, ARM64, RISC-V64, ELF analysis
ResearchCryptography, reverse engineering, digital forensics
ToolsGhidra, NeoDAX, Git, GDB
Built systems. Inspectable work.
ProjectLanguageSource
VersaNexusIXNo public description yet. Update Data.Update DataGitHubNeoDAXMobile-first binary analysis framework written in C with JavaScript bindings.CGitHubVrashellNo public description yet. Update Data.ShellGitHubweb-reconnWeb graberPythonGitHubfmsFMS is a low-level binary inspection engine developed in **Vlang**. It is designed for deep dissection of binary structures to detect anti-forensic techniques such as EOF Injection, Steganography, and PE Header manipulation.VGitHubmvcThe Nim Memory Artifact Scanner (NMS) is a lightweight, high-performance command-line interface (CLI) tool designed for digital forensics and incident response. It analyzes raw memory dump files (`.raw`, `.mem`, `.dmp`) to extract potential Indicators of Compromise (IOCs) and relevant artifacts.NimGitHubVNS-E-IIVersa Network ScannerVGitHubETC-E-IINo public description yet. Update Data.C++GitHubVE-E-IIGithub Automation ToolsNimGitHubto-do-listto-do-listAdaGitHubMALCATExperimental static malware triage toolkit with ARM64 assembly core, C bridge, and Zig/C CLI. Built for learning low-level analysis and file forensics.CGitHubHXDHXD is a lightweight cross-platform hex dump viewer implemented in C andCGitHubDAXBinary disassembler & reverse engineering tool for ELF/PE — x86_64, ARM64, RISC-V64 | CFG · call graph · loop detection · interactive TUICGitHubSchOSExperimental ARM64 monolithic OS for QEMU custom kernel, filesystem, shell, and scripting language written in C and AArch64 assembly.CGitHubedxifProfessional Mobile-Friendly Metadata Editor for Images, Videos, Audio, and Archives. Edit EXIF, GPS, and more with high-fidelity control.TypeScriptGitHubproc-scanDeep Process Inspector for detecting hidden processes (Linux /proc vs ps analysis)HaskellGitHubXSER XSER is a terminal-native AI system written in Go. It connects to multiple large language models through the 9Router proxy, executes shell commands on behalf of the user with explicit confirmation, reads and writes files using a structured protocol, and maintains a rolling conversation history across a single session.GoGitHubvera-cliVERA CLI is an assistant that can run in the terminal. VERA CLI is similar to bots usually found on Termux, but this one is in the Terminal, and can run on AndroidPythonGitHubaigramming-theoryA conceptual documentation series on Aigramming: the next abstraction layer in programming history, where AI models act as runtimes and prompts replace syntax with analysis on technical feasibility, hardware projections, and the risks of losing fundamental knowledge.Update DataGitHubvpiA lightweight, cross-platform package manager written in C. Installs .vers packages from the Versa registry at versanexusix.euCGitHubVENAExperimental terminal text editor for Termux/Android & Linux fast, lightweight, built in C with smart paste detection and dynamic keyboard resize support.CGitHubCXSAdvanced Code Execution Scrambler (CXS) – A polymorphic obfuscation engine featuring 30 layered techniques, including control-flow flattening, instruction substitution, and anti-analysis traps.CGitHubRepository data is fetched from the GitHub API. Static fallback entries are used when the API is unavailable. Confirm project scope in the linked source.
Publications and releases.
SourceRecordIdentifierStatus
preprintDyn-Phi: A Trace-Informed Join Node for Triaging Opaque Predicates and Dead Branches in Binary CodeOpaque predicates inflate a binary's control-flow graph, and the symbolic execution that can prove them infeasible scales poorly, so analysts must decide where to spend it. Dyn-Phi is a triage formulation for that decision. At each use where several definitions of a location may arrive, it annotates the static reaching set with how often each was observed to arrive in execution traces. A never-observed definition becomes a cold candidate for a three-valued verifier, whose counter-examples are replayed as new evidence.
We prove that observations lie inside the static set unless the CFG is incomplete, that dead definitions are cold, that code is removed only on the verifier's word, and that the loop terminates. An open implementation is evaluated on four corpora of 200 functions, two of them real gcc -O0 x86-64 code, with an exact verifier, paired bootstrap intervals, and two self-registered protocols.
Most findings are negative. A cold-definition filter needs about one sixth of the exhaustive queries, but only because it skips cheap feasible ones; if proving infeasibility costs 100 times more, the saving is 9%. Ranking by the score is worse than address order, feedback adds 0.4 points of recall, and a trace-free path-sensitive static baseline removes a quarter of the dead pairs for free. The zero-hit bound fails under correlated traces. No obfuscator output or real symbolic verifier is evaluated.https://doi.org/10.5281/zenodo.23199026Update data
Credentials, without guesswork.
Notes from the workbench.
2026-10-31PUBLISHED
Why Liquid Glass Effects Can Be Heavy on Android Versions Before Android 13
Liquid Glass-style interfaces rely on real-time blur, transparency, compositing, and layered rendering. These operations can increase GPU workload, memory traffic, and rendering complexity on older Android devices.
2026-10-30PUBLISHED
Zotero vs. Mendeley: A Comprehensive Comparison of Two Academic Reference Management Tools
A comprehensive comparison of Zotero and Mendeley, exploring their features, citation management, PDF annotation, cloud storage, collaboration capabilities, advantages, limitations, and suitability for academic research.
2026-10-27PUBLISHED
Complete Guide to HTTP Status Codes: Meanings, Categories, and Examples
Learn how HTTP status codes work, from 100 informational responses to 500 server errors. This comprehensive guide explains the meaning of common and uncommon status codes, their practical use cases, and their role in web development, REST APIs, authentication, redirects, and server troubleshooting.