SPESC: A Specification Language for Smart Contracts. In Proceedings of the 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018, 2018-7-23.
Hits:
|
Pre One:Provably secure cryptographic ABAC system to enhance reliability and privacy using real-time token and dynamic policy. In Proceedings of the 18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018, 2018-7-16.
Next One:Identity-Set-based Broadcast Encryption supporting "Cut-or-Select" with Short Ciphertext. 10th ACM Symposium on Information, Computer and Communications Security, 2015-4-14
