[2010] Avoiding Side-Channel Attacks in Embedded Systems with Non-deterministic Branches | IEEE Conference Publication | IEEE Xplore