Aubin Property and Strong Regularity Are Equivalent for Nonlinear Second-Order Cone Programming. - Liang Chen 006; Ruoning Chen; Defeng Sun; Junyuan Zhu (SIAM J. Optim., 2025)