Sha Ma

Available identifiers

Publication	Date of Publication	Type
Forward secure online/offline key policy attribute-based encryption with keyword search	2024-07-19	Paper
Public key authenticated encryption with keyword search improved: strong security model and multi-keyword construction	2024-07-17	Paper
Controllable forward secure identity-based encryption with equality test in privacy-preserving text similarity analysis	2024-03-20	Paper
A CCA-full-anonymous group signature with verifiable controllable linkability in the standard model	2023-04-13	Paper
Plaintext-checkable encryption with unlink-CCA security in the standard model	2022-08-30	Paper
Group public key encryption with equality test against offline message recovery attack	2021-03-18	Paper
Witness-based searchable encryption	2020-09-08	Paper
A generic scheme of plaintext-checkable database encryption	2020-07-20	Paper
Group ID-based encryption with equality test	2020-05-27	Paper
Plaintext-verifiably-checkable encryption	2020-01-10	Paper
Identity-based encryption with outsourced equality test in cloud computing	2018-05-22	Paper
Efficient \(k\)-out-of-\(n\) oblivious transfer scheme with the ideal communication cost	2018-02-06	Paper
ID-based encryption with equality test against insider attack	2017-08-25	Paper
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm	2017-06-29	Paper
Formalization of geometric algebra theories in higher-order logic	2016-10-06	Paper
Proxy signature with revocation	2016-09-02	Paper

This page was built for person: Sha Ma