6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
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…