Logic, Language, and Security | lit.salon