I looked through the Wikipedia page (including references), and I don't see anything about the binary format specification. I can't seem to find it on Google either... hope I'm not just blind. Maybe I should try Korean Google. Do you have a link to where I can get this information? I'd appreciate it.
Edit: Crap it's the one in Korean isn't it. Damn, guess I'll have to google translate it or hopefully find it in English.