Login / Signup
Afonso Falcão
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Lightweight
Communication Protocols
Coloured Petri Nets
Generation Process
Top Venues
CoRR
Financial Cryptography Workshops
</>
Publications
</>
Afonso Falcão
,
Andreia Mordido
,
Vasco T. Vasconcelos
Protocol-Based Smart Contract Generation.
Financial Cryptography Workshops
(2022)
Afonso Falcão
,
Andreia Mordido
,
Vasco T. Vasconcelos
Protocol-based Smart Contract Generation.
CoRR
(2021)