【论文速递】NDSS'24(密码学&区块链)
Kurt Pan
Kurt Pan
XPTY
2024年02月25日 00:04
美国
在小说阅读器中沉浸阅读
https://zkfold.ing/ndss24
https://www.ndss-symposium.org/ndss-program/symposium-2024/
Applied Cryptography
Efficient and Timely Revocation of V2X Credentials
Towards Precise Reporting of Cryptographic Misuses
A Unified Symbolic Analysis of WireGuard
Secrecy and Anonymity
AnonPSI: An Anonymity Assessment Framework for PSI
Unus pro omnibus: Multi-Client Searchable Encryption via Access Control
Pisces: Private and Compliable Cryptocurrency Exchange
Secret-Shared Shuffle with Malicious Security
Future Cryptography
When Cryptography Needs a Hand: Practical Post-Quantum Authentication for V2V Communications
HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation
Powers of Tau in Asynchrony
Blockchain Protocols
Front-running Attack in Sharded Blockchains and Fair Cross-shard Consensus
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance
Secure Multiparty Computation of Threshold Signatures Made More Efficient
Separation is Good: A Faster Order-Fairness Byzantine Consensus
Smart Contracts
Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts
Security-Performance Tradeoff in DAG-based Proof-of-Work Blockchain Protocols
VETEOS: Statically Vetting EOSIO Contracts for the “Groundhog Day” Vulnerabilities
Usable Security
From Interaction to Independence: zkSNARKs for Transparent and Non-Interactive Remote Attestation
A Security and Usability Analysis of Local Attacks Against FIDO2
阅读原文