conf.researchr.org / Seungil Yang
Registered user since Mon 23 Mar 2026
Name:Seungil Yang
Bio:
Formal verification of privacy and identity disclosure in data and AI systems.
Country:Japan
Affiliation:Japan Advanced Institute of Science and Technology (JAIST)
Personal website: https://sincesi.github.io/Seungil-Yang.github.io/
Research interests:Formal Methods, Privacy, Re-identification Risk, LLM Security, RAG Systems, Model Checking
Contributions