• Manticore

    Background 现在市面上出现了一些 Wasm 的符号执行工具,例如 Manticore,我们需要调研并实际部署一下测试一下他们的功能和性能。 Install Install via Docker 1docker run -idt --n...
  • ASUS 路由器指北

    指北设备你需要一台可以装梅林系统的路由,最简单的就去购买华硕的路由器,当然那种和华硕配件一样的其他路由器也可以配置。 我的路由器是 RT-AX56U,其实不是很推荐,因为没有usb接口且 jffs 分区过小(15M),很多功能都无法完美使用。当然,还...
  • Software Analysis 2020

    软件分析技术(Software Analysis)任课教师:熊英飞 xiongyf@pku.edu&#...
  • C++ - STL合集

    PreviewC++ STL 标准模板库)是一套功能强大的 C++ 模板类,提供了通用的模板类和函数,这些模板类和函数可以实现多种流行和常用的算法和数据结构。 虽然有些不是很快,但是平常使用起来比较简洁,底层算法也值得细看。 本着遇到一个记一个的态度...
  • Docker 教程

    Docker Install1sudo apt install docker.io Docker 配置镜像加速器针对 Docker 客户端版本大于 1.10.0 的用户,可以通过修改daemon配置文件 /etc/docker/daemon.jso...
  • A Brief Survey on Autonomous Vehicle Possible Attacks,Exploits and Vulnerabilities

    本文对自动驾驶软件和硬件的大多数可能攻击及其潜在影响提供了非常简短的概述。 Markmap{"t":"list_item","d":1,"v":"固件相关","c":[{"t":"list_item","d":2,"v":"硬件攻击","c":[{"...
  • Research on Detection and Evaluation Technology of Cybersecurity in Intelligent and Connected Vehicle

    Markmap{"t":"root","d":0,"v":"","c":[{"t":"list_item","d":1,"v":"研究问题","c":[{"t":"list_item","d":2,"v":"ICV(智能和连接车辆)中网络安全问题"}...
  • 嵌入式设备固件安全分析技术研究

    首先对嵌入式设备及其固件的表现形式、分类及获取方法、面临的安全攻击层面以及自动化解析情况进行了深入研究。然后,对嵌入式设备固件安伞分析技术进行了细化分析,从静态分析、符号执行、二进制漏洞关联、动态分析平台和模糊测试等五个方面进行了详细分析和横向评估。...
  • wasm-sourcemap

    背景 我们分析的 Wasm 文件是由 C 语言转换而来的,因此我们需要掌握一个 Wat 文件(Wasm 的文本格式)行号到 C 源码行号的一个映射。一般来讲,这种映射关系都被编译时的 debug info 所保存,例如可以通过使用 emcc [sou...
  • How to resaerch

    Conference安全的四大 ccs oakland ndss usenix 软工的四个 icse fse ase issta