Vivek Nigam

• Logic, Language, and Security