---
# System prepended metadata

title: IoT Security Paper
tags: [論文, 公開]

---


:::success
一些曾經看過並且做過筆記的論文集
:::

---
## [科技論文筆記](https://hackmd.io/@TonyaTonya/ByuHxnJAK)
:::info
***論文撰寫的筆記***
:::

---
## [P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling](https://hackmd.io/@TonyaTonya/HJRLY6rqd)
:::info
***根據自動生成模型產出各種外圍設備並動態處理I/O的框架***
:::

---
## [Jetset: Targeted Firmware Rehosting for Embedded Systems](https://hackmd.io/@TonyaTonya/SJj6RD2Yd)
:::info
***將嵌入式系統的韌體提取到仿真系統模擬***
:::

---
## [Understanding Linux Malware](https://hackmd.io/@TonyaTonya/r1w9tazxO)
:::info
***分析Malware的流程***
:::

---
## [Fuzzing the Internet of Things: A Review on the Techniques and Challenges for Efficient Vulnerability Discovery in Embedded Systems](https://hackmd.io/@TonyaTonya/S1_Le_979)
:::info
***模糊測試的總回顧***
:::

---
## [jigsaw: efficient and scalable path constraints fuzzing](https://hackmd.io/@TonyaTonya/HytYktIwc)
:::info
***提高fuzzing的搜索吞吐量***
:::

---
## [Refined Grey-Box Fuzzing with Sivo](https://hackmd.io/@TonyaTonya/HygXMWV29)
:::info
***一種灰盒模糊器的設計，其設計的核⼼是參數化和優化***
:::

---
## [Security Analysis of IoT Frameworks using Static Taint Analysis](https://hackmd.io/@TonyaTonya/rkbjm-pac)
:::info
***提出演算法，可以在污點分析的查詢中支持更豐富的軟體***
:::

---
## [Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs](https://hackmd.io/@TonyaTonya/rkmBLxqC5)
:::info
***結合動靜態兩種分析，試圖結合兩者優點從而達成混合分析***
:::

---
## [FREEWILL: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries](https://hackmd.io/@TonyaTonya/ByyBN0les)
:::info
***UAL漏洞檢測***
:::

---
## [FIRMWIRE: Transparent Dynamic Analysis for Cellular Baseband Firmware](https://hackmd.io/@TonyaTonya/Syibt_t7i)
:::info
***對行動裝置處理器協定進行分析的框架***
:::

---
## [LoPub: High-Dimensional Crowdsourced Data Publication with Local Differential Privacy](https://hackmd.io/@TonyaTonya/Syo08weOo)
:::info
***基於EM和Lasso回歸的三種有效算法***
:::

---
## [Detecting Exploit Primitives Automatically for Heap Vulnerabilities on Binary Programs](https://hackmd.io/@TonyaTonya/HJ50Z2HTi)
:::info
***使用基於 PCB 的分析來檢測 Heap Overflow 可利用的漏洞通式的框架***
:::

---
## [SIFOL: Solving Implicit Flows in Loops for Concolic Execution](https://hackmd.io/@TonyaTonya/B1Tb_oV1n)
:::info
***優於Driller的混合模擬器***
:::

---
## [Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary](https://hackmd.io/@TonyaTonya/rkOVnBeZn)
:::info
***能避開惡意程式的多種混淆手法從而取得正確的程式執行流程***
:::

---
## [MCU 韌體模擬系統調查及效率評估](https://hackmd.io/@TonyaTonya/SJ4maF7t5)
:::info
***評估四套韌體模擬系統***
:::

---
## [ARMore: Pushing Love Back Into Binaries](https://hackmd.io/@TonyaTonya/rJcbkRxrn)
:::info
***ARM 的 binary 重寫工具***
:::

---

## [BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats](https://hackmd.io/@TonyaTonya/rJJqt2W1a)
:::info
*** ***
:::

---

## []()
:::info
******
:::

---
