Which Italian university's team formally verified MTProto 2.0?

Add question to a list

Choose a list to keep this question in: