fatimahkj

Mrs

Pinned Repositories

AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Language:C00
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python00
code_snippets
Language:Jupyter Notebook00
EBF
A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
Language:SWIG16 2 03
esbmc
The efficient SMT-based bounded model checker
Language:C01
Map2Check
Map2Check: Finding Software Vulnerabilities
Language:SWIG00
NGram_LanguageModel
Language:Python00
openssl
TLS/SSL and crypto library
Language:C00
paho.mqtt.c
paho.mqtt.c
Language:C00
x264
x264, the best Open-Source H.264 encoder
Language:C00

fatimahkj's Repositories

fatimahkj/EBF
A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
Language:SWIG16 2 03
fatimahkj/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Language:C00
fatimahkj/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python00
fatimahkj/code_snippets
Language:Jupyter Notebook00
fatimahkj/esbmc
The efficient SMT-based bounded model checker
Language:C01
fatimahkj/Map2Check
Map2Check: Finding Software Vulnerabilities
Language:SWIG00
fatimahkj/NGram_LanguageModel
Language:Python00
fatimahkj/openssl
TLS/SSL and crypto library
Language:C00
fatimahkj/paho.mqtt.c
paho.mqtt.c
Language:C00
fatimahkj/x264
x264, the best Open-Source H.264 encoder
Language:C00