Michal Tarnacki contributed to the microsoft/MigTD and intel/MigTD repositories by delivering a GHCI 1.5–compliant rebinding overhaul and integrating TDINFO into the migration attestation flow. He stabilized build processes under feature flags, ensuring reliable compilation and unit testing in Rust and C environments. Michal enhanced security protocols by adding SERVTD_ATTR verification and SERVTD_EXT integration, and improved error handling with a FatalError TdVmcall for better panic observability. His work included expanding unit test coverage for InitData, RebindingInfo, and attestation components, demonstrating depth in backend development, data structure validation, and system programming within complex attestation and migration workflows.