Philippe Oechslin: Exposing Crypto Bugs through reverse engineering