assertTrue(ex.getMessage().contains("Failed to verify MIC"));
    }

    @Test
    @DisplayName("verifyMIC with null inputs throws NPE")
    void verifyMIC_nullInputs() {
        assertThrows(NullPointerException.class, () -> ctx.verifyMIC(null, new byte[] { 1 }));
        assertThrows(NullPointerException.class, () -> ctx.verifyMIC(new byte[] { 1 }, null));
    }

        @Test
        @DisplayName("verifyMIC throws on mismatch and nulls")
        void testVerifyMICThrows() throws Exception {
            DummySSPContext ctx = new DummySSPContext(new byte[] { 1 }, true, null, null, 0, true);
            byte[] data = new byte[] { 1, 2, 3 };
            byte[] wrongMic = new byte[] { 0 };
            assertThrows(CIFSException.class, () -> ctx.verifyMIC(data, wrongMic));

        }
    }

    /**
     * {@inheritDoc}
     *
     * @see jcifs.smb.SSPContext#verifyMIC(byte[], byte[])
     */
    @Override
    public void verifyMIC(byte[] data, byte[] mic) throws CIFSException {
        try {
            this.gssContext.verifyMIC(mic, 0, mic.length, data, 0, data.length, new MessageProp(false));
        } catch (GSSException e) {

    /**
     * {@inheritDoc}
     *
     * @see jcifs.smb.SSPContext#verifyMIC(byte[], byte[])
     */
    @Override
    public void verifyMIC(final byte[] data, final byte[] mic) throws CIFSException {
        if (!this.completed) {
            throw new CIFSException("Context is not established");
        }
        this.mechContext.verifyMIC(data, mic);
    }

    /**
     * {@inheritDoc}
     *

        System.arraycopy(trunc, 0, sig, 4, 8); // checksum
        SMBUtil.writeInt4(seqNum, sig, 12); // seqNum

        return sig;
    }

    @Override
    public void verifyMIC(final byte[] data, final byte[] mic) throws CIFSException {
        final byte[] sk = this.verifyKey;
        if (sk == null) {
            throw new CIFSException("Signing is not initialized");
        }