Sign in
Scott Wesley
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Human Factors
High Level
Signature Verification
Communication Overhead
Top Venues
VMCAI
AHFE (23)
CoRR
SAS
</>
Publications
</>
Scott Wesley
,
Maria Christakis
,
Jorge A. Navas
,
Richard J. Trefler
,
Valentin Wüstholz
,
Arie Gurfinkel
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE.
VMCAI
(2022)
Scott Wesley
,
Maria Christakis
,
Jorge A. Navas
,
Richard J. Trefler
,
Valentin Wüstholz
,
Arie Gurfinkel
Compositional Verification of Smart Contracts Through Communication Abstraction.
SAS
(2021)
Scott Wesley
,
Maria Christakis
,
Jorge A. Navas
,
Richard J. Trefler
,
Valentin Wüstholz
,
Arie Gurfinkel
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended).
CoRR
(2021)
Andrée Woodcock
,
Deana McDonagh
,
Jane Osmond
,
Scott Wesley
Empathy, Design and Human Factors.
AHFE (23)
(2017)