Vol-4104⫷ Vol-4105 ⫸Vol-4106
urn:nbn:de:0074-4105-0


Vol-4105/short08⫷Vol-4105/paper11⫸Vol-4105/paper12
Lorenzo BenetolloSemia GuesmiCarla PiazzaDalila RessiSabina RossiAlvise Spanò

Modeling Reentrancy in Smart Contracts through Noninterference