論文2021後量子TLSにおけるハンドシェイク署名なしSofía Celi, Armando Faz Hernandez, Peter Schwabe, Douglas Stebila, Thom Wiggers暗号技術
論文20222つのモデルの物語:Tamarinを用いたKEMTLSの形式的検証Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers暗号技術
論文2025ハイブリッドオブスカレートキーエクスチェンジとKEMFelix Günther, Michael Rosenberg, Douglas Stebila, Shannon Veitch暗号技術量子暗号プロトコル