Provable Security & Privacy

From Theory
To Real-World Trust

國立臺灣海洋大學 密碼學與人工智慧安全實驗室。專注於公鑰加密系統 (PKE) 的數學證明，並致力於解決雲端計算中的隱私信任難題。

核心優勢

重視 Security Reduction，用數學證明系統的不可攻破性。

使用 Python, SageMath, C++ 實作加密演算法與 AI 模型。

鼓勵投稿國際會議，定期舉辦 Paper Reading 研討。