> You cannot know whether the device leaks your vote, i.e., whether your vote is secret.

The electronic voting machine never is granted your identity. But I'll grant it's possible that records of the voter identity with the ballot identity exist and could be used to map the voter's vote.