• Sign in
  • Sign up
conf.researchr.org / Steve Reeves
  • APSEC 2025 profile
  • SPLASH 2022 profile
No Photo

Registered user since Sun 4 Dec 2022

Name:Steve Reeves
Country:New Zealand
Affiliation:University of Waikato

Contributions

2025

APSEC

  • Steering Committee Member in Steering Committee

2022

FTSCS

  • Author of Modelling a Blockchain for Smart Contract Verification using DeepSEA within the Formal Techniques for Safety-Critical Systems-track

SPLASH

  • Author of Provably Correct Smart Contracts: An Approach using DeepSEA within the Posters-track
Share
xThu 22 May 16:52
using conf.researchr.org (v1.69.0)
Support page
Sign Up