面向安全从业者的中英双语安全研究与漏洞情报精选。

#manticore

#manticore 主题的安全资讯。

1.

MUI：用 Manticore 和 Binary Ninja 可视化符号执行

博客 | 2021-11-17 12:00 | blog.trailofbits.com | 原文 ↗ | #reverse-engineering | #binary-analysis | #binary-ninja

2.

合约验证变得更简单

博客 | 2020-07-12 19:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #formal-verification

3.

新兴人才：2020 冬季实习亮点

博客 | 2020-05-22 11:50 | blog.trailofbits.com | 原文 ↗ | #open-source | #security-tools | #tooling

4.

Manticore 发现 ENS 漏洞

公告 | 2020-03-03 19:21 | CVE-2020-5232 | blog.trailofbits.com | 原文 ↗ | #smart-contracts | #blockchain | #trail-of-bits

5.

在 Manticore 中符号执行 WebAssembly

博客 | 2020-01-31 14:00 | blog.trailofbits.com | 原文 ↗ | #binary-analysis | #blockchain | #trail-of-bits

6.

注意你的语言：我们的首次 Vyper 审计

博客 | 2019-10-24 11:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #audit

7.

宣布 Manticore 0.3.0 发布

博客 | 2019-06-07 10:50 | blog.trailofbits.com | 原文 ↗ | #release | #dynamic-analysis | #symbolic-execution

8.

对密码学原语执行混合符号执行

博客 | 2019-04-01 11:50 | blog.trailofbits.com | 原文 ↗ | #cryptography | #symbolic-execution | #manticore

9.

Manticore 中的符号路径合并

博客 | 2019-01-25 12:50 | blog.trailofbits.com | 原文 ↗ | #research | #program-analysis | #symbolic-execution

10.

Trail of Bits @ Devcon IV 回顾

博客 | 2018-11-16 11:50 | blog.trailofbits.com | 原文 ↗ | #web3 | #blockchain | #conferences

11.

RSA 签名的故障分析

博客 | 2018-08-14 16:39 | blog.trailofbits.com | 原文 ↗ | #cryptography | #tls | #rsa

12.

使用我们的以太坊安全工具套件

工具 | 2018-03-23 04:28 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing

13.

研究 | 2018-03-08 12:50 | blog.trailofbits.com | 原文 ↗ | #web3 | #year-in-review | #research

14.

以太坊主题 Empire Hacking 活动视频

博客 | 2017-12-22 12:50 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #ctf

15.

在 Empire Hacking 上探讨以太坊安全

博客 | 2017-11-22 12:50 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #blockchain

16.

Trail of Bits 加入企业以太坊联盟

博客 | 2017-10-19 11:50 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #security-research

17.

用 Manticore 施展魔法

漏洞 | 2017-05-15 11:50 | blog.trailofbits.com | 原文 ↗ | #automation | #ctf | #reverse-engineering

18.

Manticore：面向人类的符号执行

博客 | 2017-04-27 04:00 | blog.trailofbits.com | 原文 ↗ | #open-source | #binary-analysis | #instrumentation

19.

四月，意味着 Infiltrate

博客 | 2017-03-23 10:50 | blog.trailofbits.com | 原文 ↗ | #conference | #security-community | #trail-of-bits