Symmetry-protected topological phases in the Bogliubov-de Gennes framework Aug 25, 2021 topological phases K-theory