Bounded Tamper Resilience: How to go beyond the Algebraic Barrier Ivan Damg˚ ard