Certificates for IKM Pressure Control