bytecode에서 bytes로: magic packet 생성 자동화
(blog.cloudflare.com)Cloudflare Blog
BPF bytecode에 symbolic execution과 Z3 theorem prover를 적용하여 malware trigger packets 생성을 자동화함으로써, 분석 시간을 몇 시간에서 몇 초로 단축했습니다.
댓글
아직 댓글이 없습니다. 첫 댓글을 남겨보세요.
BPF bytecode에 symbolic execution과 Z3 theorem prover를 적용하여 malware trigger packets 생성을 자동화함으로써, 분석 시간을 몇 시간에서 몇 초로 단축했습니다.
아직 댓글이 없습니다. 첫 댓글을 남겨보세요.
BPF bytecode에 symbolic execution과 Z3 theorem prover를 적용하여 malware trigger packets 생성을 자동화함으로써, 분석 시간을 몇 시간에서 몇 초로 단축했습니다.
아직 댓글이 없습니다. 첫 댓글을 남겨보세요.