SolType: Refinement Types for Solidity
Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
POPL 2022 | January 2022
Publications
Publications
Publications by Year
-
-
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
-
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
-
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
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
Publications by Research Area
-
SolType: Refinement Types for Solidity
Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
POPL 2022 | January 2022
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
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
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
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
Publications by Type
-
SolType: Refinement Types for Solidity
Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
POPL 2022 | January 2022
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
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
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
-
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