In theory we could use building=dormitory if we stretch its definition (but if we do so, what to do with those private renting houses where dozens of students live together?), but then we violate the rule that it's still build as a house. (Just like a church building that is used for conferences still remains a building=church).

So I would keep it as building=house