7:45OCaml Workshop 2021 - Property Based Testing for OCaml through CoqOCamlWorkshops382 viewsView & Download
14:44OCaml 2021 - Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugsACM SIGPLAN194 viewsView & Download
24:37OCaml Workshop 2021 - Adapting the OCaml ecosystem for Multicore OCamlOCamlWorkshops652 viewsView & Download
28:15OCaml 2021 - Probabilistic resource limits, or: Programming with interrupts in OCamlACM SIGPLAN95 viewsView & Download
48:31#HITB2021AMS D2T2 - Binary Fuzzing With Snapshot-Assisted-Driven Comparison Branch Analysis - K. SonHack In The Box Security Conference314 viewsView & Download
34:14Automated Binary Analysis with Angr: Sample Lesson - IntroductionBoston Cybernetics6.7K viewsView & Download