CREATE TABLE table_12434380_1 (institution VARCHAR, mascot VARCHAR)

What is the name of the institution with the mascot of blue devils?
SELECT institution FROM table_12434380_1 WHERE mascot = "Blue Devils"
SELECT "institution" FROM "table_12434380_1" WHERE "Blue Devils" = "mascot"