Popular repositories Loading

1. autonomy-authz autonomy-authz Public

   Effect-aware least-authority analysis, synthesis, semantic diff, repair, and certificates for robot and vehicle service graphs.

   Python

2. authority-checker-rt authority-checker-rt Public

   Small C++17 reference monitor for authorization certificates, path witnesses, version bindings, and replay protection.

   C++

3. ota-policy-gate ota-policy-gate Public

   Deterministic OTA evidence gate for SBOM, interface compatibility, authority drift, rollback, and artifact bindings.

   Python

4. cps-authz-bench cps-authz-bench Public

   Deterministic benchmark, mutation, isolated execution, differential checking, and reduction for CPS authorization analyzers.

   Python

5. zekangl317-cyber zekangl317-cyber Public

   Zekang Liu ??robotics, vehicle software, systems security, and assured autonomy.

6. zekangl317-cyber.github.io zekangl317-cyber.github.io Public

   Bilingual engineering portfolio for Zekang Liu.

   HTML