model of CAMP check_range optimizations in Lean CAMP: https://www.usenix.org/conference/usenixsecurity24/presentation/lin-zhenpeng
echoumcp1/camp_opt
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
model of CAMP check_range optimizations in Lean CAMP: https://www.usenix.org/conference/usenixsecurity24/presentation/lin-zhenpeng