Bounded tamper resilience: How to go beyond the algebraic barrier