Concolic testing with static analysis for JavaScript applications. - Sora Bae (MODULARITY (Companion), 2014)

Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications. - Sora Bae; Joonyoung Park; Sukyoung Ryu (FormaliSE@ICSE, 2017)

Inference of Security-Sensitive Entities in Libraries. - Yi Lu 003; Sora Bae; Padmanabhan Krishnan; K. R. Raghavendra (IEEE Symposium on Security and Privacy Workshops, 2017)

Towards understanding and reasoning about Android interoperations. - Sora Bae; Sungho Lee; Sukyoung Ryu (ICSE, 2019)

Trade-offs in managing risk and technical debt in industrial research labs: an experience report. - François Gauthier 001; Alexander Jordan; Padmanabhan Krishnan; Behnaz Hassanshahi; Jörn Guy Süß; Sora Bae; Hyunjun Lee (TechDebt@ICSE, 2020)

Synthesis of Java Deserialisation Filters from Examples. - Kostyantyn Vorobyov; François Gauthier 001; Sora Bae; Padmanabhan Krishnan; Rebecca O'Donoghue (COMPSAC, 2022)

Runtime Prevention of Deserialization Attacks. - François Gauthier 001; Sora Bae (ICSE (NIER), 2022)