Arcula: A Secure Hierarchical Deterministic Wallet for Multi-asset Blockchains
这项工作提出了Arcula，一种分层确定性钱包的新设计，将基于身份的地址引入区块链。Arcula建立在可证明安全的加密原语之上。它从用户提供的种子中生成所有的加密秘密，并基于用户的身份导出新的公钥，而不需要任何秘密信息。与其他钱包不同，它实现了所有这些属性，同时可以防止特权升级。我们形式化的层次确定性钱包的安全模型，并证明攻击者妥协任意数量的用户在Arcula钱包不能提升他的特权和妥协的访问层次较高的用户。我们的设计可以与任何区块链一起使用，可以验证任意消息上的签名。我们评估了它在比特币现金网络上的真实场景中的使用。
2019-12-10 cs.CR
Conning the Crypto Conman: End-to-End Analysis of Cryptocurrency-based Technical Support Scams
本文提出 HoneyTweet 分析装置，通过发布 2.5 万条蜂蜜推文引诱并追踪 9000 余名加密货币技术支持诈骗者，揭示其跨平台作案流程、两类支付方式及私钥盗窃行为，形成端到端诈骗生命周期分析。
2024-01-18 cs.CR
Reinforcing Security and Usability of Crypto-Wallet with Post-Quantum Cryptography and Zero-Knowledge Proof
针对量子计算威胁和种子短语不便，提出结合后量子密码学（PQC）和零知识证明（ZKP）的算法，利用LTSSS、Kyber和ZKP增强钱包安全与可用性，并支持恢复和重设私钥。
2023-08-29 cs.CR cs.DC cs.ET
Contract Wallet Using Emails
提出一种基于电子邮件、ZKP 与 DKIM 签名验证的合约钱包方案，使用户无需管理密钥即可安全操作加密资产，并通过 VRM 工具支持无 ZKP 经验开发新功能。
2023-12-07 cs.CR
Anatomy of a High-Profile Data Breach: Dissecting the Aftermath of a Crypto-Wallet Case
本文通过对104名加密资产安全设备客户数据泄露受害者的调查，揭示了数据泄露带来的常见骚扰、新型攻击向量及资产损失等后续影响，并指出受害者对安全的担忧及对诉讼的怀疑，为网络安全行业提供了启示。
2023-08-01 cs.CR
WiP: Towards a Secure SECP256K1 for Crypto Wallets: Hardware Architecture and Implementation
École de technologie supérieure (ÉTS)（高等技术学院）
针对硬件钱包中SECP256K1易受侧信道攻击的问题，提出一种采用完整加法公式、临时寄存器和并行处理的硬件架构，使点加和倍点运算不可区分，LUT使用量平均减少45%。
2024-11-06 cs.CR eess.SP
Enhancing Cold Wallet Security with Native Multi-Signature schemes in Centralized Exchanges
目前，在集中式交易所中保护加密货币资产的最广泛使用的协议之一是将钱包分类为冷钱包和热钱包。虽然冷钱包持有用户存款，但热钱包负责处理提款请求。然而，这种方法具有一些缺点，例如：1）私钥在至少一个冷设备中的可用性，以及2）所有私钥暴露给一个受信任的冷钱包管理员。为了克服这些问题，我们设计了一个新的协议，通过采用本地多重签名方案来管理冷钱包资产。所提出的冷钱包系统涉及至少两个不同的设备及其相应的管理员，用于钱包创建和签名生成。该方法确保没有最终私钥存储在任何设备上。为此，任何一个当局都不能动用外汇资产。此外，我们提供了有关所提出的方法的实际实施的细节，并将其与最先进的技术进行比较。此外，我们将所提出的方法的应用扩展到一个可扩展的场景，其中用户直接参与钱包生成和签名过程中的冷钱包在MPC的方式。
2021-10-01 cs.CR
EthVault: A Secure and Resource-Conscious FPGA-Based Ethereum Cold Wallet
EthVault是首个基于FPGA的以太坊冷钱包硬件架构，通过硬件实现关键算法提升安全性并降低资源消耗。
2025-12-10 cs.CR eess.SP
SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets (Extended Version)
本文提出SmartOTPs智能合约钱包框架，利用Merkle树和哈希链聚合一次性密码，实现完全物理隔离的双因素认证，并具备抗量子分析能力。
2023-11-30 cs.CR
Trust Infrastructures for Virtual Asset Service Providers
虚拟资产服务提供商（VASP）目前面临着技术和监管方面的挑战。在虚拟资产转移的背景下，一个关键问题是VASP需要安全地交换客户信息，以遵守旅行规则。我们讨论了一个VASP信息共享网络作为一种形式的信任基础设施的VASP到VASP的互动。与此相关的是，需要一个用于VASP的可信身份基础设施，允许其他实体快速确定VASP的合法业务状态。对于受监管的钱包，证明基础设施可以基于可信硬件为VASP和保险提供商提供对钱包状态的更好的可见性。最后，对于VASP的客户，需要在VASP服务与现有消费者身份管理基础设施之间进行无缝集成，从而为向其他用户转移虚拟资产提供用户友好的体验。
2020-09-08 cs.CR
Secure User-friendly Blockchain Modular Wallet Design Using Android & OP-TEE
针对传统钱包私钥泄露与互操作性危机，本文提出基于OP-TEE的模块化TEE架构，将密钥管理作为平台服务，实现逐链模块热更新与硬件锚定安全，弥合安全与可用性鸿沟。
2025-06-22 cs.CR
Lazarus Group Targets Crypto-Wallets and Financial Data while employing new Tradecrafts
本报告通过静态与动态分析一份恶意软件样本，识别其持久化、C2通信和数据窃取功能，关联已知TTP以推断Lazarus Group的能力与动机，并提供检测假设和告警优化建议以增强对高级持续性威胁的主动防御。
2025-06-30 cs.CR cs.OS
Intel SGX Enabled Key Manager Service with OpenStack Barbican
保护云中的数据越来越重要，加密被用来实现所需的数据保护。虽然希望使用加密，但各种云组件不希望处理密钥管理，这表明迫切需要单独的密钥管理系统。OpenStack Barbican是由OpenStack社区开发的平台，旨在提供适用于所有环境的加密功能，包括大型短暂云。Barbican公开了为安全存储、配置和管理密码、加密密钥和X.509证书等秘密而设计的REST API，并支持后端各种加密解决方案的插件。加密插件将秘密存储为Barbican数据库中的加密blob。基于软件的加密插件提供了可扩展的解决方案，但易受系统软件攻击。硬件安全模块或HSM插件提供了强大的安全保证，但它们价格昂贵，而且扩展性不好。我们建议构建一个基于英特尔Software Guard Extension或SGX的软件加密插件，提供类似于HSM的安全性，同时具有基于软件的解决方案的低成本和可扩展性。我们扩展了OpenStack Barbican API，以支持英特尔SGX加密插件的认证，从而提高客户对用于存储密钥的软件的信心。此外，该API还支持支持英特尔SGX客户端的相互认证、多用户密钥分发以及用于保护后端数据库机密性和完整性的扩展。
2017-12-20 cs.CR
Wallets as Universal Access Devices
本文探讨钱包作为通用访问设备，通过区块链和Web3技术存储密钥、访问数字资产，结合身份与去中心化及AI支持，增强用户赋权，同时强调提升安全性的必要性。
2025-07-06 cs.CR cs.CY
Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
本文提出Laminator框架，利用硬件辅助可信执行环境（TEEs）为ML属性卡（涵盖模型卡、数据表和推理卡）提供首个高效、可扩展且通用的可验证机制，以防止模型提供商伪造训练与推理属性信息。
2025-03-05 cs.CR
Evaluating Tooling and Methodology when Analysing Bitcoin Mixing Services After Forensic Seizure
很少或根本没有研究针对比特币混合或“翻滚”服务本身的分析和研究法医分析。这项工作旨在研究有效的工具和方法，用于从两个以隐私为中心的混合服务中恢复取证文物，即Obscuro，它使用英特尔芯片上的安全飞地来提供增强的机密性，以及Wasabi钱包，它使用CoinJoin来混合和混淆加密货币。这些钱包设置在虚拟机上，然后使用几个取证工具来检查这些虚拟机映像中的相关取证工件。这些取证工具能够恢复广泛的取证工件，并发现网络取证和日志文件都是对这些混合服务进行去匿名化的有用工件来源。
2021-10-05 cs.CR
Assessing the Solvency of Virtual Asset Service Providers: Are Current Standards Sufficient?
本研究针对虚拟资产服务提供商（VASPs）缺乏系统性审计的问题，提出交叉比对三类数据的偿付能力评估方法，通过对奥地利24家VASPs的调研及4家的实证验证，发现数据缺口并提出审计与信息披露建议。
2024-04-18 cs.CR q-fin.GN
Secure Remote Attestation with Strong Key Insulation Guarantees
近年来，在学术界和工业界都出现了安全处理器设计的趋势。具有硬件强制隔离的安全处理器可以成为未来云计算的坚实基础。然而，由于最近的侧信道攻击，商业安全处理器未能提供安全隔离执行环境的承诺。安全执行环境内的敏感信息总是通过侧通道泄漏。这项工作考虑了最强大的基于软件的侧信道攻击者，即，全数字状态观测（ADSO）对手，其可以观测所有数字状态，包括安全飞地中的所有数字状态。传统的签名方案在ADSO对抗模型下是不安全的。我们引入了一个新的密码原语称为一次性签名与秘密密钥暴露（OTS-SKE），它确保没有人可以伪造一个新的消息或随机数的有效签名，即使所有的秘密会话密钥泄漏。OTS-SKE使我们能够在ADSO攻击下安全地签署证明报告。我们还通过在系统中引入安全协处理器来最小化可信计算基础，并且安全协处理器和证明处理器之间的交互是单向的。也就是说，协处理器不接受来自处理器的输入，并且仅生成供处理器获取的密钥。实验结果表明，OTS-SKE的签名速度比Intel SGX中使用的椭圆曲线数字签名算法（ECDSA）要快。
2022-01-05 cs.AR cs.CR
FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks
FABRID通过自治系统透明证明设备信息，支持应用按用户偏好灵活选择多路径转发，并在SCION测试床验证高吞吐量。
2023-10-10 cs.CR cs.NI
LURK-T: Limited Use of Remote Keys With Added Trust in TLS 1.3
针对CDN等场景下TLS凭证共享的安全问题，提出可证明安全的LURK-T框架，将TLS 1.3服务器端解耦为TEE内的加密服务与引擎，适配多种部署，基于Intel SGX与OpenSSL实现，1MB以上文件服务无明显开销，且通过形式化安全验证。
2025-05-21 cs.CR
MicroTEE: Designing TEE OS Based on the Microkernel Architecture
ARM TrustZone技术广泛用于为移动设备提供可信执行环境（TEE）。然而，大多数TEE OS被实现为单片内核。在这样的设计中，设备驱动程序、内核服务和内核模块都运行在内核中，这导致了内核的庞大。单片内核架构很难保证内核的所有组件都没有安全漏洞，如高通QSEE TrustZone中的整数溢出漏洞、华为海思TEE架构中的TZDriver漏洞等。本文介绍了MicroTEE，一个基于微内核架构的TEE操作系统。在MicroTEE中，微内核为TEE操作系统的基本服务（如密码服务和平台密钥管理服务）提供了强隔离。内核只负责提供核心服务，如地址空间管理、线程管理和进程间通信。其他基本服务，如加密服务和平台密钥管理服务，在用户层实现为应用程序。加密服务和密钥管理用于为可信应用程序（TA）提供敏感信息加密、数据签名和平台证明功能。我们的设计避免了整个TEE操作系统的妥协，如果只有一个内核服务是脆弱的。还添加了一个监视器来执行安全世界和正常世界之间的切换。最后，在飞思卡尔i.MX6Q Sabre Lite开发板上实现了一个MicroTEE原型，并对其性能进行了测试。测试结果表明，在数据量较小的情况下，MicroTEE的密码操作性能优于Linux。
2019-08-20 cs.CR cs.OS
