Category Archives: Internship Projects

Performing Concolic Execution on Cryptographic Primitives April 1, 2019

Symbolic Path Merging in Manticore January 25, 2019

Fault Analysis on RSA Signing August 14, 2018

Optimizing Lifted Bitcode with Dead Store Elimination July 6, 2018

Work For Us: Fall and Winter Internship Opportunities August 9, 2016

Summer @ Trail of Bits September 10, 2015