Yes, the CySEC requires negative balance protection. They are more lenient than other regulatory agencies, but they make it clear that traders' accounts cannot become negative.