SecLab
Results
22
repositories owned by
SecLab
heapster
37
Stars
4
Forks
Watchers
Identify and test the security of dynamic memory allocators in monolithic firmware images
packware
81
Stars
16
Forks
Watchers
Effects of packers on machine-learning-based malware classifiers that use only static analysis
pretender
79
Stars
10
Forks
Watchers
Automatic modeling of hardware to enable the rehosting of embedded firmware
sailfish
47
Stars
11
Forks
Watchers
Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
sasi
34
Stars
9
Forks
Watchers
Signedness-Agnostic Strided-Interval
greed
67
Stars
6
Forks
Watchers
A symbolic execution engine for EVM smart contract binaries.
actor
23
Stars
3
Forks
Watchers
Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)