Samuel Ranellucci

SR

Statistics

Publications

4

Citations

385

H-Index

4

Active since

2016

Samuel Ranellucci is an author at George Mason University specializing in formal methods, formal verification, and cryptography.

Publications per year

2016–2019

4

Publications

4