分散システムセキュリティ計測形式検証
ジェームズは、インターネットインフラ(例:Web PKI および DNS)、システム、および形式的手法に焦点を当てた研究エンジニアです。ハーバード大学でコンピューターサイエンスの博士号を取得しています。
研究分野
インターネットインフラ、システム、形式的手法

ジェームズは、インターネットインフラ(例:Web PKI および DNS)、システム、および形式的手法に焦点を当てた研究エンジニアです。ハーバード大学でコンピューターサイエンスの博士号を取得しています。
インターネットインフラ、システム、形式的手法