Shu Cheng

Learn More
Akt (also called protein kinase B-PKB) is a key component of the phosphoinositide-3-kinase signaling pathway, which is responsible for cell proliferation and survival and is a novel target for antioncogenic indications. In its fully activated state, Akt is phosphorylated on the activation loop (A-loop) at residue Thr 309. We used molecular dynamics (MD)(More)
Understanding hepatic zonation is important both for liver physiology and pathology. There is currently no effective systemic chemotherapy for human hepatocellular carcinoma (HCC) and its pathogenesis is of special interest. Genomic and proteomic data of HCC cells in different culture models, coupled to pathway-based analysis, can help identify HCC-related(More)
FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves(More)
RFID Grouping proof convinces an offline verifier that multiple tags are simultaneously scanned. Various solutions have been proposed but most of them have security and privacy vulnerabilities. In this paper, we propose an elliptic-curve-based RFID grouping proof protocol. Our protocol is proven secure and narrow-strong private. We also demonstrate that our(More)
(2013). A secure elliptic curve based RFID ownership transfer scheme with controlled delegation. Abstract In practical applications, the owner of an RFID-tagged item canchange. In this paper, we propose a new RFID ownership transfer protocol using elliptic-curve cryptography. The paper first considers security and privacy requirements in the ownership(More)
  • 1