Alessio Merlo

Latest

• From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap