@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));

        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));
    }

    /**
     * {@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}
     *

        verify(this.mechContext, never()).calculateMIC(any());
    }

    @Test
    @DisplayName("verifyMIC throws when context not established")
    void testVerifyMICRequiresEstablished() throws Exception {
        SpnegoContext ctx = newContext();
        CIFSException ex = assertThrows(CIFSException.class, () -> ctx.verifyMIC(new byte[] { 1 }, new byte[] { 2 }));
        assertEquals("Context is not established", ex.getMessage());

        }
    }

    /**
     * {@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) {

     * @param data the data to verify
     * @param mic the MIC to verify against
     * @throws CIFSException if the MIC verification fails or an error occurs
     */
    void verifyMIC(byte[] data, byte[] mic) throws CIFSException;

    /**
     * Checks whether Message Integrity Code (MIC) is available for use.
     * @return whether MIC can be used
     */
    boolean isMICAvailable();

        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");
        }