PoTS - A Secure Proof of TEE-Stake for Permissionless Blockchains.
Sébastien AndreinaJens-Matthias BohliGhassan O. KarameWenting LiGiorgia Azzurra MarsonPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- patient specific
- theorem prover
- automated theorem proving
- group communication
- linear logic
- security issues
- theorem proving
- lightweight
- low cost
- learning algorithm
- information retrieval
- security management
- security analysis
- scalar product
- security measures
- authentication mechanism
- data sets
- authentication protocol
- key management
- multi party
- information sharing
- website
- search engine
- databases