刘泽康Zekang Liu
本科毕业于合肥工业大学 · 电子信息专业 · 2022—2026
B.Eng., Hefei University of Technology · Electronic Information Engineering · 2022–2026
简介About
关注机器人与车辆软件安全、可信更新、确定性测试和运行时保障。通过可独立构建和验证的工程项目，积累安全分析、系统开发与实验评估经验。
Interested in robotics and vehicle software security, assured updates, deterministic testing, and runtime assurance. My projects develop practical experience in security analysis, systems engineering, and reproducible evaluation.
项目Projects
4 个主导项目与 4 个协作项目。
Four lead projects and four collaboration projects.
autonomy-authz
面向机器人与车辆服务图的最小权限分析、合成、语义差分和证书生成。Least-authority analysis, synthesis, semantic diff, repair, and certificates for robot and vehicle service graphs.
GitHub →authority-checker-rt
独立重算绑定、路径与防重放状态的小型授权证书参考监控器。A compact reference monitor that independently checks bindings, witnesses, versions, and replay state.
GitHub →ota-policy-gate
统一核验 SBOM、接口、授权漂移、回滚和发布证据的 OTA 闸门。An OTA evidence gate joining SBOM, interfaces, authority drift, rollback, and artifact bindings.
GitHub →cps-authz-bench
授权分析器的确定性基准、变异、隔离运行、差分比较和反例缩减工具。Deterministic benchmark generation, mutation, isolated execution, differential checking, and reduction.
GitHub →motion-core
机器人与车辆运动模型、PID、LQR、路径跟踪和约束预测控制。Robot and vehicle models, PID, LQR, path tracking, and constrained predictive control.
GitHub →trajectory-lab
确定性路径规划、精确碰撞检测、平滑、时间参数化与轨迹验证。Deterministic planning, exact collision checks, smoothing, timing, and trajectory validation.
GitHub →open-autonomy-sil
带命令血缘、故障注入和时序契约的确定性无界面软件在环实验室。Headless deterministic SIL with command lineage, fault injection, and timing contracts.
GitHub →autonomy-executor-lab
面向控制回调的调度策略、新鲜度、截止期与过载诊断实验工具。A scheduling, freshness, deadline, and overload diagnosis laboratory for control callbacks.
GitHub →