Towards Secure IoT Deployments: A DSL and Digital Twin-Based Emulation Platform for Security Verification. - Leonard Tudorache (MODELS-C, 2025)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin. - Leonard Tudorache; Ivan Kurtev; Mark van den Brand (CoRR, 2026)