Poster: Formalizing Cognitive Biases for Cybersecurity Defenses. - Jasmine Vang; Matthew Revelle (CCS, 2024)