【论文笔记】BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation

Posted on 2021-11-22 | In paper_notes |

2021-1122-BDABDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation 作者 ...

0CTF/TCTF 2021 Final 0bf WriteUp

Posted on 2021-09-27 | In CTF , Reverse |

0CTF/TCTF 2021 Final 0bf WriteUp English 概述Rev, 0CTF/TCTF: 1 solves, 1000 points RisingStarCTF: 2 solves, 750 points 本题是一个比较直观的逆向题目，选手需要输入正确的字符串，使其通 ...

【论文笔记】Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels

Posted on 2021-09-25 | In paper_notes |

2021-0925-SUTUREStatically Discovering High-Order Taint Style Vulnerabilities in OS Kernels 作者：Hang Zhang, Weiteng Chen, Yu Hao, Guoren Li, Yizhuo Zha ...

【论文笔记】MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation

Posted on 2021-07-30 | In paper_notes |

2021-0730-MBA-BlastMBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation 作者：Binbin Liu, Junfu Shen, Jiang Ming, Qilong Zheng, Jing ...

【论文笔记】SelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting

Posted on 2021-07-27 | In paper_notes |

2021-0727-SelectiveTaintSelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting 作者：Sanchuan Chen, Zhiqiang Lin, Yinqian Zhang 单位：The ...

0CTF/TCTF 2021 Quals FEA WriteUp

Posted on 2021-07-14 | In CTF , Reverse |

0CTF/TCTF 2021 Quals FEA WriteUp English 概述Rev, 14 solves, 458 points 本题实现了一个简单的脱壳程序，被加固后的壳程序会使用fastlz算法解压shellcode并执行。shellcode中要求选手提供一个8 bytes的输入，并 ...

0CTF/TCTF 2021 Quals FA51R_RE & FA51R_PWN WriteUp

Posted on 2021-07-14 | In CTF , Reverse |

0CTF/TCTF 2021 Quals FA51R_RE & FA51R_PWN WriteUp English Table of Contents 0CTF/TCTF 2021 Quals FA51R_RE & FA51R_PWN WriteUp Table of Conten ...

【论文笔记】DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis

Posted on 2021-07-12 | In paper_notes |

2021-0712-DICEDICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis 作者：Alejandro Mera, Bo Feng, Long Lu, Engin Kirda, William ...

【论文笔记】DynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection

Posted on 2021-05-26 | In paper_notes |

2021-0526-DynPTADynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection 作者：Tapti Palit, Jarin Firose Moon, Fabian Monros ...

【论文笔记】ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems

Posted on 2021-04-26 | In paper_notes |

2021-0426-ARCUSARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems 作者：Carter Yagemann, Matthew Pruett, Simon P. Chung, Kennon Bittic ...