Benjamin Mariano
  • about
  • publications
  • cv

Announcement_3

November 8, 2021

2021

Our paper SolType: Refinement Types for Arithmetic Overflow in Solidity was accepted at POPL’22!

© Copyright 2025 Benjamin Mariano. Powered by Jekyll with al-folio theme.