Spats: user-defined confidential assets for the Spark transaction protocol.
Aaron FeickertAram JivanyanPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- user defined
- transaction model
- concurrency control protocols
- database transactions
- commit protocols
- data types
- locking protocol
- lightweight
- database
- mobile payment
- original data
- deadlock free
- correctness criteria
- distributed databases
- query processor
- concurrency control
- transaction processing
- trusted third party
- query language
- correctness criterion
- real world
- security protocols
- database systems
- real time database systems
- transaction data
- financial markets
- formal analysis
- sensitive data
- statistical databases
- sensitive information