# Roussi Roussev Florida Institute of Technologyの博士課程学生(本論文執筆時点)。研究関心は分散システム・セキュリティ・依存可能性・プログラム検証。(著者略歴、p.201)