Concepedia

Rodrigo Otoni

RO

1

Publications

21

Citations

1

H-Index

2022

Active since

Affiliations

Meta (United Kingdom)(Current)

Rodrigo Otoni is an author at Meta (United Kingdom) specializing in information security, formal methods, and formal specification.

ORCID

Top concepts

Publications per year

2022–2022

1

Publications

1

A <scp>Solicitous</scp> Approach to Smart Contract Verification

Rodrigo Otoni, Matteo Marescotti, Leonardo Alt et al. · ACM Transactions on Privacy and Security · 2022 · 21 citations

, , +19

Rows per page

1–1 of 1