معرفی
Dr. Florian Kammueller is an Associate Professor in Software Engineering at Middlesex University, specializing in formal methods for cybersecurity and privacy. His research focuses on attack trees, GDPR compliance, insider threat modeling, and quantum cryptography using the Isabelle theorem prover. He has published extensively on formal verification of security protocols, privacy in IoT healthcare systems, and trust in AI.
Recent publications emphasize federated learning, differential privacy, and distributed ledger security, often applying formal verification techniques to address regulatory and technical challenges. His work bridges theoretical computer science with practical applications in critical infrastructure security.
۰مقاله منتشرشده
