Jasmine Vang, Matthew Revelle: Poster: Formalizing Cognitive Biases for Cybersecurity Defenses. CCS 2024: 4991-4993