Toby Murray

研究は、バグ修正における自然なコード変換の必要性を強調している。

敏感データを守るためのオブリビアスアルゴリズムの形式的検証のフレームワーク。