Researcher at Theorem
Sami Jawhar is a researcher at Theorem.
Referenced in coverage
“Sami Jawhar contributed to formalizing sandbox file integrity proofs for protection against agent escapes.”
“Co-author from Theorem on security property verification research.”