Improved lower bound for the complexity of unique shortest vector problem. - Baolong Jin; Rui Xue 001 (Cybersecur., 2023)