The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols