原创 Mac使用經驗彙總

在此記錄使用Mac的一些經驗技巧。 安裝brew 如果按照官網提示安裝,巨慢無比,如下: /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/ins

原创 Secure Face Matching Using Fully Homomorphic Encryption-2018:學習

本文學習論文“Secure Face Matching Using Fully Homomorphic Encryption-2018”和“基於全同態加密的人臉特徵密文認證系統-2020”,記錄筆記。 摘要 人臉識別技術的發展取決於

原创 表情識別研究

表情識別研究 學習文章:https://zhuanlan.zhihu.com/p/40572244 參考:人臉表情識別技術研究綜述-2022 表情識別(FER,facialexpression recognition)是人臉識別(FR,

原创 富數-AnonymFL

本文學習文章“2022 WAIC|「全匿蹤聯邦學習」AnonymFL正式發佈:破解用戶ID暴露難題,實現真正合規可信的隱私計算”,記錄筆記。 引言 2022年08月26日,富數科技宣佈實現了“全匿蹤聯邦學習”,突破了無需安全求交、不泄露

原创 全同態加密研究:學習

學習李增鵬老師的文章:全同態加密研究,記錄筆記。 摘要 雲計算很重要,但存在“數據安全和隱私保護的問題”。 引出全同態加密,當前研究方向:(1)方案的設計和性能提升;(2)潛在應用。 本文內容:(1)介紹全同態發展的三個階段(三類)

原创 課程筆記:全同態加密理論與基礎

本節學習“課程筆記:“全同態加密理論與基礎”,記錄一些學習心得。 加密方案和安全分析 一次一密 一次一密,是最安全的,但無法實用。 參考:https://www.cnblogs.com/pam-sh/p/16382557.html#

原创 全同態加密-丁津泰:學習

本文學習丁老師寫的同態加密的文章,做些筆記。 引言 同態加密適用於雲計算。 因爲任意計算都可以由加法和乘法構成,全同態意味着計算函數\(f\)可以是任意計算操作(任意次加法和乘法)。 同態加密,起源於“隱私同態”的概念,但並未給出

原创 課程筆記:全同態加密的理論與構造-下篇:學習

本文緊接上文課程筆記:全同態加密的理論與構造-上篇:學習,繼續學習“課程筆記:全同態加密的理論與構造-下篇”,並做相應筆記和補充。 第一代FHE 第一代,主要就是Gentry09和DGHV10方案。 安全性基於的是近似GCD數學問題

原创 課程筆記:全同態加密的理論與構造-上篇:學習

本文學習“課程筆記:全同態加密的理論與構造-上篇”,並做筆記和補充。 基礎 同態加密特點就是能夠對密文執行任意操作(函數\(F\)),解密後相當於對明文執行對應的操作,這也是方案的同態性體現。 函數\(F\)也可以用電路表示,都是多

原创 銅鎖密碼庫

BabaSSL 介紹 BabaSSL是一款輕巧、靈活且靠譜的密碼學和TLS協議工具集。BabaSSL是螞蟻集團和阿里集團的各主要業務中所使用的底層密碼庫,現在開源出來供業界使用。BabaSSL廣泛的應用在包括網絡、存儲、移動端App等場景中

原创 橢圓曲線複習

橢圓曲線複習 參考:https://blog.csdn.net/m0_54743939/article/details/121441004 橢圓曲線算法可以看作是定義在特殊集合下數的運算,滿足一定的規則。 橢圓曲線在如下兩個域中定義:\

原创 Multi-Party Threshold Private Set Intersection with Sublinear Communication-2021:解讀

記錄閱讀論文的筆記。 摘要 總結: (1)CRYPTO 2019:The Communication Complexity of Threshold Private Set Intersection-2019:解讀提出任何閾值PSI得

原创 素域和擴域

素域(prime field) 有限域也叫伽羅瓦域(galois field),指的是由有限個元素組成的集合,在這個集合內可以執行加、減、乘和逆運算。 而在密碼學中,我們只研究擁有有限個元素的域,也就是有限域。 域中包含元素的個數稱

原创 數據安全與隱私計算峯會-安全求交集在隱私計算中的發展和應用:學習

數據安全與隱私計算峯會-安全求交集在隱私計算中的發展和應用:學習 PSI是安全多方計算中發展較爲成熟的技術。 定義 (1)Alice獲取到交集 思考一下:對於兩方來說,是一方獲取交集?還是兩方都獲取交集? (2)可證明安全:證明Ali

原创 數據安全與隱私計算峯會-可證明安全:學習

數據安全與隱私計算峯會-可證明安全:學習 永遠不正面證明方案有多安全,而是證明方案可以抵抗哪些攻擊! 可證明安全 用於評估安全性的準則 分爲兩種: 1、基於遊戲的證明 以Paillier加密方案爲例: 反證法:(1)先假設可以(2