Algebraic specification

• Daniel GAINA
• Keyword: Logic, Formal Methods, Category Theory
• 詳細

数学と暗号の交差点

• 縫田 光司
• Keyword: 暗号数理，暗号理論，秘密計算，組合せ論的群論，離散数学
• 詳細

耐量子暗号の安全性解析

• 池松 泰彦
• Keyword: 公開鍵暗号，多変数多項式暗号，整数論
• 詳細