Leonard Tudorache

According to our database, Leonard Tudorache authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin.

Leonard Tudorache, Ivan Kurtev, Mark van den Brand

CoRR, May, 2026

2025

Towards Secure IoT Deployments: A DSL and Digital Twin-Based Emulation Platform for Security Verification.

Leonard Tudorache

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025