# TLS 퍼저인 tlspuffin

### Summary

tlspuffin은 LibAfl을 사용하여 작성된 TLS를 위한 기호 모델 기반 퍼저입니다. 이 도구는 TLS 프로토콜의 취약점을 탐지하고 분석하는 데 도움을 줍니다. GitHub에서 tlspuffin의 소스 코드를 확인할 수 있습니다.

- Link - [https://github.com/tlspuffin/tlspuffin](https://github.com/tlspuffin/tlspuffin)

[GitHub - tlspuffin/tlspuffin: A Dolev-Yao-model-guided fuzzer for TLS](https://github.com/tlspuffin/tlspuffin)

### Content

tlspuffin: A symbolic-model-guided fuzzer for TLS written using LibAfl - [https://github.com/tlspuffin/tlspuffin](https://github.com/tlspuffin/tlspuffin)

[GitHub - tlspuffin/tlspuffin: A Dolev-Yao-model-guided fuzzer for TLS](https://github.com/tlspuffin/tlspuffin)

For the site tree, see the [root Markdown](https://slashpage.com/ph4nt0m.md).