QMA and PQMA translate quantum security research into practical modelling, verification, and benchmarking workflows.