跳转到内容
Jason's Study

密码学 / 安全 · 论文 · 第 1 组

待复核

返回论文全景索引

本分块共 71 条，稳定上限为 100 条。

论文Slug难度可信状态简介
DP-SGD 2016 — 给深度学习训练加上差分隐私保护abadi-dpsgd-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
AES Rijndael 对称分组密码aesunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
AFLGo — 让灰盒 fuzzing 朝目标代码前进aflgo-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Atzei Ethereum Attacks 2017 — 给智能合约漏洞做三层分类atzei-eth-attacks-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Autograph 2004 — 自动给蠕虫写内容签名autograph-2004unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
QL / CodeQL — 用面向对象外壳写可扩展代码查询avgustinov-codeql-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
STARK — 不需要”可信第三方”的计算正确性证明ben-sasson-stark-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
SPHINCS 2015 — 不用记状态的后量子哈希签名bernstein-sphincs-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Bitcoin 白皮书bitcoinunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
AFLFast — 把 fuzzing 的力气花在更少人走的路径上bohme-aflfast-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Bonawitz 2019 — Google 联邦学习的工业级系统设计bonawitz-fl-system-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Bos-Kyber 2018 — 把后量子密钥交换做成可落地的标准候选bos-kyber-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Halo 2019 — 不靠可信仪式递归压缩证明bowe-halo-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
BGV 2012 — 不用自举也能做全同态加密brakerski-bgv-2012unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Bulletproofs 2018：不用可信仪式的短范围证明bunz-bulletproofs-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
KLEE — 用符号执行自动给复杂系统程序生成高覆盖测试cadar-klee-2008unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
C&W 攻击 — 用强优化检验神经网络鲁棒性carlini-wagner-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CKKS — 让加密数据也能做浮点运算cheon-ckks-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TFHE 2016 — 把全同态加密的自举时间从分钟级压到 0.1 秒chillotti-tfhe-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Controlled-Channel Attacks 2015 — 不可信操作系统也能用缺页记录偷看程序controlled-channel-attacks-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Intel SGX Explained — 把云主机里的一小块程序锁进硬件保险箱costan-sgx-explained-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Flash Boys 2.0 — MEV 把交易排序变成一门生意daian-flash-boys-2020unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Danezis-Sphinx 2009 — 把匿名转发包压到可实用的大小danezis-sphinx-2009unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
DeepFool 2016 — 用最小扰动量出模型边界有多近deepfool-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Diffie-Hellman 密钥交换diffie-hellmanunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Mixminion — 用一次性回信票据保护匿名邮件dingledine-mixminion-2003unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Driller 2016 — 用符号执行给 fuzzing 打穿深分支driller-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CRYSTALS-Dilithium 2018 — 后量子时代的主力数字签名ducas-dilithium-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Duchi 2013 — 本地差分隐私的统计极限duchi-local-dp-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
校准噪声 — 往统计结果里加多少噪音才能保护隐私dwork-calibrating-noise-2006unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Dwork DP 2006 — 用相邻数据集定义隐私dwork-dp-2006unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
差分隐私 — 让统计结果有用但查不到任何一个人dwork-dp-icalp-2006unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
分布式噪声 — 大家一起加噪音比一个人加更安全dwork-our-data-ourselves-2006unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
RAPPOR 2014 — 用随机应答在浏览器端实现本地差分隐私erlingsson-rappor-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
FairFuzz 2018 — 保护关键字节，让 fuzzing 往深处走fairfuzz-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Fan-Vercauteren BFV — 让加密数据上做整数运算变得实际可用fan-vercauteren-bfv-2012unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
FLUSH+RELOAD 2014 — 用缓存时间偷看程序访问了哪行内存flush-reload-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Foreshadow 2018 — SGX 保险箱也挡不住瞬态执行脚印foreshadow-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Freedman PSI 2004 — 把集合交集算出来但不交出名单freedman-psi-2004unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
PLONK — 一次通用布置，反复证明很多程序gabizon-plonk-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Gentry 2009 — 第一个全同态加密方案gentry-fhe-2009unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
GMW Mental Game — 多个人不交出秘密也能一起算答案gmw-mental-game-1987unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Goodfellow FGSM — 用一次梯度就能造出对抗样本goodfellow-fgsm-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Kairouz 2019 — 联邦学习 58 个开放问题路线图kairouz-advances-fl-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
RowHammer 2014 — 反复读一行内存也能翻转邻居比特kim-rowhammer-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Spectre — CPU 猜错路时也会泄密kocher-spectre-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Keystone — 用开源 RISC-V 拼一套可定制 TEElee-keystone-2020unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Li t-closeness 2007 — 用整体分布约束匿名分组li-t-closeness-2007unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Meltdown — 从用户态读到内核内存的硬件漏洞lipp-meltdown-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Lucky 13 — 用毫秒级时间差把 TLS 加密看穿lucky13-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Machanavajjhala l-Diversity 2007 — 给匿名分组补上敏感值多样性machanavajjhala-l-diversity-2007unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Madry PGD — 把对抗训练变成最坏情况演练madry-pgd-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Making Smart Contracts Smarter — Oyente 用符号执行给智能合约找漏洞making-smart-contracts-smarterunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
FedAvg 2017 — 让手机本地训练模型再上传平均值mcmahan-fedavg-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Rényi 差分隐私 — 用一把更精确的尺子量隐私损失mironov-renyi-dp-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TaintCheck — 给不可信输入贴追踪标签newsome-taintcheck-2005unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TrustZone Explained — 把手机 CPU 分成普通区和保密区ngabonziza-trustzone-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Paillier 1999 — 能在密文上直接做加法的公钥加密paillier-1999unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Loopix — 用延迟和假流量保护通信关系piotrowska-loopix-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Program Shepherding — 给每次跳转安排门卫program-shepherding-2002unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Rabin OT 1981 — 不知道对方是否收到的秘密交换rabin-ot-1981unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Onion Routing 1998 — Tor 前身把匿名连接做成网络积木reed-onion-routing-1998unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Regev LWE 2005 — 把带噪声方程变成后量子密码地基regev-lwe-2005unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
RSA 公钥密码rsaunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Sanctum 2016 — 用少量硬件改动做强隔离 enclavesanctum-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Securify 2018 — 用规则自动查智能合约漏洞securify-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Shokri MIA 2017 — 判断一条数据是否被模型见过shokri-mia-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Sweeney k-Anonymity 2002 — 删除姓名还不够的匿名化基线sweeney-k-anonymity-2002unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Szegedy 对抗样本 — 图片只改一点点，模型却会彻底看错szegedy-adversarial-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Yao Garbled Circuits — 两个人不摊牌也能一起算答案yao-garbled-circuits-1986unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
zk-SNARK 零知识证明zk-snarkunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。