Cited By
View all- Cumming DUtting MCassez FDong NTork SRisius M(2024)EVM-Vale: Formal Verification of EVM Bytecode Using ValeDistributed Ledger Technology10.1007/978-981-97-0006-6_3(39-54)Online publication date: 9-Feb-2024
- Raimondi GBesson FJensen T(2023)Type-directed Program Transformation for Constant-Time EnforcementProceedings of the 25th International Symposium on Principles and Practice of Declarative Programming10.1145/3610612.3610618(1-13)Online publication date: 22-Oct-2023
- Patterson DWagner AAhmed ACong YDagand P(2023)Semantic Encapsulation using Linking TypesProceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3609027.3609405(14-28)Online publication date: 30-Aug-2023
- Show More Cited By