論文2021KEMTLSの実装と測定Sofía Celi, Armando Faz Hernandez, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher Wood暗号技術計測
論文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暗号技術
