Concepedia

Manuel Sabin

MS

1

Publications

40

Citations

1

H-Index

2017

Active since

Manuel Sabin is an author specializing in formal methods, verification, and engineering.

Top concepts

Publications per year

2017–2017

1

Publications

1

Proofs of Useful Work.

Marshall Ball, Alon Rosen, Manuel Sabin et al. · IACR Cryptology ePrint Archive · 2017 · 40 citations

, , +5

Rows per page

1–1 of 1