This page summarizes the academic outcomes of the Cyber Safety Lab, including publications, patents, software artifacts, and awards.
Journal and conference papers covering AI safety, formal verification of CPS, medical AI, and autonomous driving.
You can find a detailed list of publications on the Publication page, organized by journals, conferences, and Korean venues.
Patents related to formal methods, medical AI pipelines, and autonomous driving (including F1TENTH-based RoboRacer platforms).
Open-source and research software developed in the lab, including trusted AI toolchains, medical AI models, and autonomous driving stacks.
Awards and recognitions from academic conferences, competitions, and industry collaborations related to AI safety and CPS.