Accepted Papers

  • Accepted papers will appear in SANER 2018 proceedings

 

  • List of accepted papers

 

  • “Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity”
  • Maximilian Wöhrer and Uwe Zdun
  • (University of Vienna, Austria)
  • “SmartInspect: Solidity Smart Contract Inspector”
  • Santiago Bragagnolo, Henrique Rocha, Marcus Denker, and Stéphane Ducasse
  • (Inria, France)
  • “Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?”
  • Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea Bracciali, and Robert Hierons
  • (University of Hertfordshire, UK; University of Cagliari, Italy; University of Stirling, UK; Brunel University London, UK)
  • “The ICO Phenomenon and Its Relationships with Ethereum Smart Contract Environment”
  • Gianni Fenu, Lodovica Marchesi, Michele Marchesi, Roberto Tonelli
  • (University of Cagliari, Italy)
  • “Evaluation of Initial Cryptoasset Offerings: The State of the Practice”
  • Felix Hartmann, Maria Ilaria Lunesu and Xiaofeng Wang
  • (University of Cagliari, Italy; Free University of Bolzano, Italy)
  • “Checking Laws of the Blockchain with Property-Based Testing”
  • Alexander Chepurnoy and Mayank Rathee
  • (Ergo Platform, Russia; IOHK Research, Russia; IIT Varanasi, India; Banaras Hindu University, India)