The SCEAS System
Navigation Menu

Search the dblp DataBase


Jing Pan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jianghua Lv, Shilong Ma, Aili Wang, Jing Pan
    Using Ambient in Computational Reflection Semantics Description. [Citation Graph (0, 0)][DBLP]
    ICCNMC, 2005, pp:1105-1114 [Conf]
  2. Jianghua Lv, Shilong Ma, Jing Pan, Li Ma
    A Layered Semantics for Mobile Computation*. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2006, pp:175-186 [Conf]
  3. Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala
    Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:427-447 [Conf]

  4. Principles on the Security of AES against First and Second-Order Differential Power Analysis. [Citation Graph (, )][DBLP]

  5. An Operation-Based Metric for CPA Resistance. [Citation Graph (, )][DBLP]

  6. Integration of a Security Type System into a Program Logic. [Citation Graph (, )][DBLP]

  7. You Cannot Hide behind the Mask: Power Analysis on a Provably Secure S-Box Implementation. [Citation Graph (, )][DBLP]

  8. A fast feature extraction method. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002