BMC-run KEM