Humans and lava tubes

Dawn Colony, where the characters of Generation Mars live, is built primarily in lava tubes to protect the inhabitants from the radiation that reaches the surface of Mars.

Recent archaeological research suggests humans have been seeking shelter from radiation in lava tubes for thousands of years.