Conference：45th IEEE Symposium onSecurity and Privacy

CCF level：CCF A

Categories：网络与信息安全

Year：2024

Num：17

Efficient Zero-Knowledge Arguments For Paillier Cryptosystem

Paillier 加密系统的有效零知识论证

Borui Gong (The Hong Kong Polytechnic University), Wang Fat Lau (The Hong Kong Polytechnic University), Man Ho Au (The Hong Kong Polytechnic University), Rupeng Yang (University of Wollongong), Haiyang Xue (The Hong Kong Polytechnic University), Lichun Li (Ant Group)

Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay

Chronos：通过具有瞬态延迟的深度优先级模糊测试来查找实际分布式系统中的超时错误

Yuanliang Chen (Tsinghua University), Fuchen Ma (Tsinghua University), Yuanhang Zhou (Tsinghua University), Ming Gu (Tsinghua University), Qing Liao (Harbin Institute of Technology), Yu Jiang (Tsinghua University)

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution

Specular：迈向安全、信任最小化的乐观区块链执行

Zhe Ye (UC Berkeley), Ujval Misra (UC Berkeley), Jiajun Cheng (ShanghaiTech University), Andy Zhou (Cambridge University), Dawn Song (UC Berkeley)

Conning the Crypto Conman: End-to-End Analysis of Cryptocurrency-based Technical Support Scams

欺骗加密骗子：基于加密货币的技术支持诈骗的端到端分析

Bhupendra Acharya (CISPA), Muhammad Saad (PayPal), Antonio Emanuele Cinà (CISPA), Lea Schönherr (CISPA), Hoang Dai Nguyen (Louisiana State University), Adam Oest (Paypal, Inc.), Phani Vadrevu (Louisiana State University), Thorsten Holz (CISPA)

NURGLE: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation

NURGLE：通过 MPT 操纵加剧区块链状态存储的资源消耗

Zheyuan He (University of Electronic Science and Technology of China), Zihao Li (The Hong Kong Polytechnic University), Ao Qiao (University of Electronic Science and Technology of China), Xiapu Luo (The Hong Kong Polytechnic University), Xiaosong Zhang (University of Electronic Science and Technology of China), Ting Chen (University of Electronic Science and Technology of China), Shuwei Song (University of Electronic Science and Technology of China), Dijun Liu (Ant Group), Weina Niu (University of Electronic Science and Technology of China)

Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts

Nyx：检测智能合约中可利用的抢先运行漏洞

Wuqi Zhang (The Hong Kong University of Science and Technology), Zhuo Zhang (Purdue University), Qingkai Shi (Purdue University), Lu Liu (The Hong Kong University of Science and Technology), Lili Wei (McGill University), Yepang Liu (Southern University of Science and Technology), Xiangyu Zhang (Purdue University), Shing-Chi Cheung (The Hong Kong University of Science and Technology)

SoK: Security and Privacy of Blockchain Interoperability

SoK：区块链互操作性的安全性和隐私性

Andre Augusto (INESC-ID & Instituto Superior Técnico), Rafael Belchior (INESC-ID & Instituto Superior Técnico), Miguel Nuno Dias Alves Pupo Correia (INESC-ID & Instituto Superior Técnico), Andre Vasconcelos (INESC-ID & Instituto Superior Técnico), Luyao Zhang (Duke Kunshan University), Thomas Hardjono (MIT Connection Science)

Larger-scale Nakamoto-style Blockchains Don't Necessarily Offer Better Security

更大规模的中本聪式区块链不一定能提供更好的安全性

Jannik Albrecht (Ruhr University Bochum), Sebastien Andreina (NEC Laboratories Europe), Frederik Armknecht (University of Mannheim), Ghassan Karame (Ruhr-University Bochum), Giorgia Marson (NEC Laboratories Europe), Julian Willingmann (Ruhr-University Bochum)

Large-Scale Study of Vulnerability Scanners for Ethereum Smart Contracts

以太坊智能合约漏洞扫描器的大规模研究

Christoph Sendner (University of Würzburg), Lukas Petzi (University of Würzburg), Jasper Stang (University of Würzburg), Alexandra Dmitrienko (University of Würzburg)

SwiftRange: A Short and Efficient Zero-Knowledge Range Argument For Confidential Transactions and More

SwiftRange：用于机密交易等的简短而有效的零知识范围论证

Nan Wang (Australian National University and CSIRO's Data61), Sid Chi-Kin Chau (Australian National University and CSIRO's Data61), DongXi Liu (CSIRO's Data61), Nan Wang (Australian National University), Sid Chi-Kin Chau (Australian National University)

Certifying Zero-Knowledge Circuits with Refinement Types

使用细化类型验证零知识电路

Junrui Liu (University of California, Santa Barbara), Ian Kretz (The University of Texas at Austin), Hanzhi Liu (University of California, Santa Barbara / Veridise Inc.), Bryan Tan (Veridise Inc.), Jonathan Wang (Axiom), Yi Sun (Axiom), Luke Pearson (Polychain Capital), Anders Miltner (Simon Fraser University), Işıl Dillig (The University of Texas at Austin / Veridise Inc.), Yu Feng (University of California, Santa Barbara / Veridise Inc.)

Ligetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs. Post-Quantum ZK-SNARKs on a Browser

Ligetron：轻量级可扩展端到端零知识证明。浏览器上的后量子 ZK-SNARK

Carmit Hazay (Ligero Inc.), Muthuramakrishnan Venkitasubramaniam (Ligero Inc.), Ruihan Wang (Ligero Inc.)

Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs

Pianist：通过完全分布式零知识证明实现可扩展的 zkRollups

Tianyi Liu (University of Illinois Urbana-Champaign), Tiancheng Xie (UC Berkeley), Jiaheng Zhang (UC Berkeley), Dawn Song (UC Berkeley), Yupeng Zhang (University of Illinois Urbana-Champaign), Tianyi Liu (Texas A&M University), Yupeng Zhang (Texas A&M University)

POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance

Rui Xi (Department of Electrical and Computer Engineering, University of British Columbia), Zehua Wang (Department of Electrical and Computer Engineering, University of British Columbia), Karthik Pattabiraman (Department of Electrical and Computer Engineering, University of British Columbia)

SMARTINV: Multimodal Learning for Smart Contract Invariant Inference

Sally Junsong Wang (Columbia University), Kexin Pei (Columbia University), Junfeng Yang (Columbia University), Sally Junsong Wang (Columbia University)

Towards Smart Contract Fuzzing on GPU

Weimin Chen (The Hong Kong Polytechnic University), Xiapu Luo (The Hong Kong Polytechnic University), Haipeng Cai (Washington State University), Haoyu Wang (Huazhong University of Science and Technology)

Optimal Flexible Consensus and its Application to Ethereum

Joachim Neu (Stanford University), Srivatsan Sridhar (Stanford University), Lei Yang (MIT), David Tse (Stanford University)

详情：https://sp2024.ieee-security.org/index.html

关注ccfsci，持续接收区块链最新论文

洞察区块链技术发展趋势

Follow us to keep receiving the latest blockchain papers

Insight into Blockchain Technology Trends