Login / Signup
Selene Gerali
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Software Testing
Bug Reports
Communication Protocol
Multi Party
Top Venues
Protocols, Strands, and Logic
</>
Publications
</>
Pierpaolo Degano
,
Letterio Galletta
,
Selene Gerali
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty.
Protocols, Strands, and Logic
(2021)