Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thi Thu Ha Doan
conf.researchr.org general profile
APLAS 2024 profile
ISSTA/ECOOP 2024 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Wed 4 May 2022
Name:
Thi Thu Ha Doan
Affiliation:
University of Freiburg
Contributions
2024
APLAS
Author of A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution within the Research Papers-track
ECOOP
Author of A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson within the Technical Papers-track
2022
APLAS
Committee Member in Program Committee
2021
APLAS
Author of A Typed Programmatic Interface to Contracts on the Blockchain within the Research Papers-track
Share
x
Thu 21 Nov 16:57