On the security of REDOG

We analyze REDOG, a public-key encryption system submitted to the Korean competition on post-quantum cryptography.
REDOG is based on rank-metric codes. We prove its incorrectness and attack its implementation, providing an efficient message recovery attack. Furthermore, we show that the security of REDOG is much lower than claimed. We then proceed to mitigate these issues and provide two approaches to fix the decryption issue, one of which also leads to better security.