VeriSol: A formal verifier for Solidity based smart contracts

成立时间：April 15, 2019

论文与出版物

查看方式：

- SolType: Refinement Types for Solidity
  
  Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
  
  POPL 2022 | January 2022
  
  Publication
- SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
  
  Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
  
  42nd IEEE Symposium on Security and Privacy | May 2021
  
  Publication
- Demystifying Loops in Smart Contracts
  
  Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
  
  35th IEEE/ACM International Conference on Automated Software Engineering (ASE'20) | September 2020
  
  Publication
- Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
  
  Verified Software: Theories, Tools and Experiments | September 2019
  
  Publication
- Formal Specification and Verification of Smart Contracts for Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer
  
  April 2019
  
  PDF Publication

- SolType: Refinement Types for Solidity
  
  Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
  
  POPL 2022 | January 2022
  
  Publication
- SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
  
  Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
  
  42nd IEEE Symposium on Security and Privacy | May 2021
  
  Publication
- Demystifying Loops in Smart Contracts
  
  Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
  
  35th IEEE/ACM International Conference on Automated Software Engineering (ASE'20) | September 2020
  
  Publication
- Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
  
  Verified Software: Theories, Tools and Experiments | September 2019
  
  Publication
- Formal Specification and Verification of Smart Contracts for Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer
  
  April 2019
  
  PDF Publication

- SolType: Refinement Types for Solidity
  
  Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
  
  POPL 2022 | January 2022
  
  Publication
- SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
  
  Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
  
  42nd IEEE Symposium on Security and Privacy | May 2021
  
  Publication
- Demystifying Loops in Smart Contracts
  
  Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
  
  35th IEEE/ACM International Conference on Automated Software Engineering (ASE'20) | September 2020
  
  Publication
- Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
  
  Verified Software: Theories, Tools and Experiments | September 2019
  
  Publication
- Formal Specification and Verification of Smart Contracts for Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer
  
  April 2019
  
  PDF Publication