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
