Statistics
Publications
1
Citations
620
H-Index
1
Active since
2016
Affiliations
Microsoft (United States)(Current)
Thomas Sibut-Pinote is an author at Microsoft (United States) specializing in computer science, computing, and smart contracts.
Publications per year
2016–2016
1
1
Formal Verification of Smart Contracts
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text
1–1 of 1