Recent works proposed to dynamically extend protocol implementations through protocol plugins. While addressing deployment issues, they raise safety concerns (do they terminate, do they act maliciously,…). To fill this gap, a system distributing trust in plugin’s verification properties was proposed in the literature. However, it was not implemented. This poster demonstrates the feasibility of this approach by providing an open-source implementation of this system. We also extend the state-of-the-art verification works about protocol plugins by considering a new property called side-effects.