idk if its illegal or how the ownership model works, but the vast majority of standing buildings in the DPRK were levelled by the american invasion, so it stands to reason that almost every house was built / rebuilt by the government. so this might have been through a public housing model.