Съоснованата от българин Trail of Bits ще участва в AI Cyber Challenge