update popl20 paper

CharesFang · Feb 9, 2023 · 71e4b9b · 71e4b9b
1 parent 4098029
commit 71e4b9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -634,7 +634,7 @@ Welcome developers or researchers to add more published paper to this list.
 
 ### 2022
 
-[security] [SolType: Refinement Types for Solidity](https://arxiv.org/pdf/2110.00677.pdf).
+[security] [SolType: Refinement Types for Arithmetic Overflow in Solidity](https://dl.acm.org/doi/abs/10.1145/3498665).
 
 ------