Evasion Framework Testing Android kernel drivers without devices Directed Symbolic Execution Program analysis to synthesize sensor spoofing attacks in embedded systems Bitcoin and Tor deanonymization Deanonymizing criminals who use anonymization technologies