Formal Design-Time Privacy & Consent Assurance for LLM-Based Applications for Children. - Nafiseh Kahani; Masoud Barati; Diana Addae; Chen Zhou; Diana Rogachova; Raymond Xiao (UCC, 2025)