Bullet-proof payment processors.

Hongwei Tian Stephen M. Gaffigan D. Sean West Damon McCoy

Published in: eCrime (2018)

Keyphrases

parallel algorithm
parallel processing
electronic commerce
parallel computing
credit card
parallel computation
theorem proving
cloud computing
theorem prover
linear logic
proof theory
embedded processors
payment scheme
list scheduling