Card-based cryptography, data outsourcing, Multi-user dynamic searchable symmetric encryption, Secure Sorting Protocol, sorting network, verifiability.