使用PowerShell进行用户密码钓鱼的技术解析

本文详细介绍了如何利用PowerShell脚本CredPhish进行密码钓鱼攻击,包括技术原理、配置方法、数据外传技术以及防御建议,适合安全研究人员了解此类攻击手法。

智能合约验证变得更简单 - Manticore验证工具详解

本文介绍Trail of Bits推出的manticore-verifier工具,它允许开发者用Solidity编写安全属性测试,并自动通过符号执行进行验证,大幅降低智能合约的验证成本。文章包含完整技术实现细节和案例演示。

共识协议中的全局稳定时间(GST)假设及其实际意义

本文深入探讨了分布式系统中著名的FLP不可能性结果,以及DLS论文如何通过引入全局稳定时间(GST)假设来规避这一限制。文章详细分析了GST假设的理论基础、对抗模型解释以及在实际协议设计中的重要价值。

GDB Python API的冬季优化:增强消息提示与类型支持

本文详细介绍了对GNU调试器(GDB) Python API的三项重要改进:优化符号解析并行处理、增加类型对象repr信息输出、支持动态创建和注册新类型,这些改动显著提升了Pwndbg等依赖GDB的工具开发体验。

Trail of Bits 2022开源贡献亮点回顾:从Rust优化到区块链安全

本文详细回顾了Trail of Bits团队2022年在开源社区的400多项技术贡献,涵盖Rust编译器优化、以太坊虚拟机改进、HTTP头验证架构重构等关键技术突破,展示了专业安全团队如何推动基础设施软件的质量提升。

戴尔遭勒索组织入侵 坚称泄露数据为"伪造"测试数据

戴尔公司确认遭遇新兴勒索组织World Leaks攻击,但强调泄露数据来自客户解决方案中心的合成测试数据集,与真实客户系统隔离,不包含敏感信息。事件揭示了前Hunters International勒索团伙残余势力的新动向。

YOLO哈希构造的致命缺陷:密码学安全实践指南

本文深入剖析三种常见的错误密码学构造(YoloMultiHash/YoloMAC/YoloPBKDF),揭示其存在的编码模糊性、长度扩展攻击等安全隐患,并提供HMAC、KMAC、Argon2等经过验证的替代方案。