Worked on protocol correctness and binary analysis across multiple open source libraries, focusing on stability and accuracy in security tooling. In ntop/nDPI and qarmin/rustls, addressed protocol version handling by correcting SSLv2 constants and JA4 mapping, ensuring accurate identification of TLS and DTLS flows and reducing false positives in protocol classification. In Vector35/binaryninja-api, improved the robustness of the SharedCacheView header parsing by implementing mappingOffset-based bounds checks, preventing out-of-bounds reads and enhancing resilience against malformed inputs. Leveraged C, C++, and Rust, applying expertise in low-level programming, cryptography, and reverse engineering to deliver targeted, specification-aligned bug fixes.