98 citations · 201 across the 13 of their papers we have counts for
1 paper · 2 filters
Amit Seal Ami, Scott Marsden, Kevin Moran +2
The correct use of cryptography is central to ensuring data security in modern software systems. Hence, several academic and commercial static analysis tools have been developed fo…