S&P2019 on Lutong's Homepage

论文笔记| Proof-of-Stake Sidechains

Mon, 15 Jul 2019 00:00:00 +0000

Brief

Authors: Peter Gazˇi,Aggelos Kiayias and Dionysis Zindros
conference: S&P2019

系统定义区块链中的 side 链的概率，1️以提高区块链的伸缩性和冗余。证明其非常适合使用POS作为共识机制。并将其实现和推广到多个区块链系统中去。

使用 sidechain 可以解决数据拷贝、扩容、升级区块链协议等。

形式化定义了什么是sidechain。以及如何将一个账单中的信息转换成另一个账单。定义了其安全性。

其中用到了一个聚合签名算法 ATMS AD-HOC THRESHOLD MULTISIGNATURES 是一种基于门限的聚合签名算法。

论文笔记| Redactable Blockchain in the Permissionless Setting

Wed, 10 Jul 2019 00:00:00 +0000

Brief

Author：Dominic Deuber, Bernardo Magri and Sri Aravinda Krishnan Thyagarajan
IEEE S&P 2019

Introductoin

一种基于共识机制的协议，用于解决区块链中非法信息进行预警和和可审计的操作，要求可以很好的兼容当前的 bitcoin。

由于区块类的写入是不可撤回的、在写入前又无法审计，所以对于没有访问控制的区块链来说很难做到过滤和预警。

通过投票，多数同意来实现一个 editable 的区块。

感觉就是有协议的硬分叉。读完 intro 后个人感觉可能有诸多问题

大致协议

对要修改的区块，通过某一个策略函数 P 来决定是否通过，有 accept reject 和vote 三种结果。如果最终接受修改，则由全体成员执行修改的过程。如果投票，则经过多轮投票过程后决定结果

如果要对之前某一个区块修改，则保留其原始数据，并对对其进行修改。此时需要对于验证区块和区块链的算法进行一定修改。

实现和评估

最后在bitcoin 上加以实现，而后对安全性和性能进行了评估和分析。

论文笔记| Towards Practical Differentially Private Convex Optimization

Wed, 10 Jul 2019 00:00:00 +0000

Brief

Roger Iyengar Carnegie Mellon University
Om Thakkar Boston University
Joseph P. Near University of California, Berkeley
Abhradeep Thakurta University of California, Santa Cruz
Dawn Song University of California, Berkeley
Lun Wang Peking University

将差分隐私用于凸优化问题中，并处理实际数据集合。文中给出了一个新的训练算法。

论文笔记| True2F: Backdoor-resistant authentication tokens

Tue, 09 Jul 2019 00:00:00 +0000

Brief

author: Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan Boneh, Dominic Rizzo
From: Stanford and Google

Introduction

双因子认证是目前对抗弱密码等恶意攻击的有效手段。其中一种是使用 U2F 硬件认证。但是使用硬件也可能给系统带来新的安全隐患（后门等）。

由于 U2F 在分发过程中需要在服务器中记录 seed，一旦攻击装获取seed就可以恢复公私钥，进而破坏系统安全性。

使用主秘钥和会话秘钥分离也可能发生cache和 swap 攻击等。

U2F 认证过程

U2F 双因子认证设计三个对象：U2F 硬件、浏览器和可靠服务器。

协议要求

防止恶意的token
防止 compromised browser
Protect against token fingerprinting.
对服务器端透明
不改变硬件条件

密码学技术

1. 数字签名

Sig.KeyGen() → (sk, pk). Output a secret signing key sk and a public verification key pk.
Sig.Sign(sk, m) → σ. Output a signature σ on the message m ∈ M using the secret key sk.
Sig.Verify(pk, m, σ) → {0, 1}. Output “1” iff σ is a valid signature on message m under public key pk.

2. Verifiable random function (VRF)

VRF.KeyGen() → (skVRF, pkVRF). Output a secret key and a public key.
VRF.Eval(skVRF, id) → (y, π). Take as input the secret key skVRF, and an input id ∈ I, and output a value y ∈ Z∗q along with a proof π.
VRF.Verify(pkVRF, id, y, π) → {0, 1}. Take as input the public ∗ keypkVRF,apurportedinput-outputpair(id,y)∈I×Zq,and a proof π. Return “1” iff π is a valid proof that (id, y) is an input-output pair.

3. New tool: Verifiable identity families (VIFs)

作者在 VRF 的基础上加以修改，成为 VIFs

论文笔记| Why Does Your Data Leak? Uncovering the Data Leakage in Cloud from Mobile Apps

Tue, 09 Jul 2019 00:00:00 +0000

Brief

author: Chaoshun Zuo, Zhiqiang Lin, Yinqian Zhang
IEEE S&P 2019

Introduction

系统评估移动终端使用云存储时候的数据泄露
编写程序自动化完成评估
对各种软件进行评估，给出风险报告

Background

为什么要使用 Cloud API？

减少成本，无需自己搭建后端或租用服务器，无需考虑鲁棒性和伸缩性。

Cloud API 的两种秘钥

app key：有限权限，用于访问公开数据并可以隔离资源，防止在用户app中。
root key：完整的访问权限，用于开发和管理

系统分析

秘钥误用，将两种秘钥混用
访问控制配置错误

自动化分析框架

方法：根据 API 的句柄、输入输出参数来判断。

包括：Cloud API identification、String Value identification 和 Vulnerability Identification。

评估

对大量程序进行了分析，分析结果略

论文笔记| Resident Evil: Understanding Residential IP Proxy as a Dark Service

Mon, 08 Jul 2019 00:00:00 +0000

Brief

Meeting: S&P 2019
Authors: Xianghang Mi, Xuan Feng, Xiaojing Liao, Baojun Liu, XiaoFeng Wang, Feng Qian, Zhou Li, Sumayah Alrwais, Limin Sun, Ying Liu

Background

分布式反射拒绝服务攻击体现了一种利用新型的家用IP代理的攻击方式。

Residential IP Proxy as a Service (RPaaS) 指代了控制了大量家用终端（自愿加入）的提供代理网络的服务。一些公司提供这样的服务。这种服务可以用于 DoS，爬虫，恶意破坏 SEO 等非法攻击。

Conclusions

这种网络分布在 238 个国家，52905 个独立IP。其中 95% 是家庭设备。
发现大量设备并非自愿加入网络。即使是部分设备也是妥协的结果
正在运行在代理网络之上的有 67 个程序，其中 50 个可能是恶意的程序。
只有 9.36% 的终端检测到了这种恶意流量，更有部分安全检测主机是 RPaaS 的一员。
代理商可能使用其他代理商的网络（多级零售），有些代理商没有背景审查并接受比特币。
鉴别了后台网关。这些网关部分被检测到而已并被屏蔽。

Method and Dataset

这些网络通过 http/https 等方式发起请求。

一个实验用的客户端发起某一个域名的请求。这些域名中包括了时间戳，uuid等信息。
一个dns服务器，用于由网络中的host查询dns时候，记录发送方的ip等信息，并返回接收器的ip
一个接收器，用于接收最终的请求。

为了对流量进行伪装。作者使用了多个位于不同地域的服务器。并对流量使用 aes128 加密。