Email Gateway (Aug 18 2022 at 20:00): Email Gateway (Aug 18 2022 at 20:00):From: Ahmed Taha <ahmed.mtaha@hotmail.com>
Dear All,
Do you know whether isabelle is used in Wireless networks
and mobile networks security verification.
Waiting for your kind reply.
Best Regards
Ahmed Taha
Last updated: Feb 15 2026 at 05:19 UTC