Energy-PQC-Migrate: Budget-Constrained Post-Quantum Cryptographic Migration for Legacy Energy Industrial Control Systems

Includes a synthetic 120-asset benchmark, Monte Carlo evaluation outputs, budget-sensitivity results, and the EPM prioritization method compared against an adapted Gupta-Mittal baseline and exact MILP benchmark.