def METHOD_NAME(k, m, s):
    k.verify(
        s,
        m,
        asymmetric.padding.PSS(
            mgf=asymmetric.padding.MGF1(hashes.SHA256()), salt_length=asymmetric.padding.PSS.MAX_LENGTH
        ),
        hashes.SHA256(),
    )