Daniele Gorla

This paper discusses securing smart contracts through a type system focused on integrity.

A look into how different monitoring systems check complex behaviors.

New type system ensures smart contracts run smoothly without gas issues.