Research formal reasoning for concurrent cryptographic protocols with proof assistants and functional programming; disseminate results at conferences, supervise students, and support teaching in an inclusive academic environment focused on verification and secure systems.