1. Implementing a 1GHz Four-Issue Out-of-Order Execution Microprocessor in a Standard Cell ASIC Methodology

   • Wei-Wu Hu
   • Ji-Ye Zhao
   • Chris Wu

   Regular Paper 14 February 2007 Pages: 1 - 14

2. An Energy-Efficient Instruction Scheduler Design with Two-Level Shelving and Adaptive Banking

   • Yu-Lai Zhao
   • Xian-Feng Li
   • Xu Cheng

   Regular Paper 14 February 2007 Pages: 15 - 24

3. A 485ps 64-Bit Parallel Adder in 0.18μm CMOS

   • Dong-Yu Zheng
   • Yan Sun
   • Liang Fang

   Short Paper 14 February 2007 Pages: 25 - 27

4. Unified Parallel Systolic Multiplier Over \({\it GF}(2^{m})\)

   • Chiou-Yng Lee
   • Yung-Hui Chen
   • Jim-Min Lin

   Regular Paper 14 February 2007 Pages: 28 - 38

5. Bounded Model Checking of CTL

   • Zhi-Hong Tao
   • Cong-Hua Zhou
   • Li-Fu Wang

   Short Paper 14 February 2007 Pages: 39 - 43

6. CSchema: A Downgrading Policy Language for XML Access Control

   • Dong-Xi Liu

   Regular Paper 14 February 2007 Pages: 44 - 53

7. Two-Factor Cancelable Biometrics Authenticator

   • Ying-Han Pang
   • Andrew T. B. J.
   • David N. C. L

   Short Paper 14 February 2007 Pages: 54 - 59

8. Higher-Level Hardware Synthesis of the KASUMI Algorithm

   • Issam W. Damaj

   Regular Paper 14 February 2007 Pages: 60 - 70

9. Breaking and Repairing Trapdoor-Free Group Signature Schemes from Asiacrypt’2004

   • Xin-Yi Huang
   • Willy Susilo
   • Fu-Tai Zhang

   Short Paper 14 February 2007 Pages: 71 - 74

10. Relationship Between a Non-Malleable Commitment Scheme and a Modified Selective Decommitment Scheme

    • Hai-Xia Xu
    • Bao Li

    Short Paper 14 February 2007 Pages: 75 - 78

11. Improved Collision Attack on Hash Function MD5

    • Jie Liang
    • Xue-Jia Lai

    Regular Paper 14 February 2007 Pages: 79 - 87

12. Secure Two-Party Point-Circle Inclusion Problem

    • Yong-Long Luo
    • Liu-Sheng Huang
    • Hong Zhong

    Short Paper 14 February 2007 Pages: 88 - 91

13. Attack on Digital Multi-Signature Scheme Based on Elliptic Curve Cryptosystem

    • Duo Liu
    • Ping Luo
    • Yi-Qi Dai

    Short Paper 14 February 2007 Pages: 92 - 94

14. A New Public-Key Encryption Scheme

    • Hai-Bo Tian
    • Xi Sun
    • Yu-Min Wang

    Regular Paper 14 February 2007 Pages: 95 - 102

15. Efficient ID-Based Multi-Decrypter Encryption with Short Ciphertexts

    • Zhen-Chuan Chai
    • Zhen-Fu Cao
    • Yuan Zhou

    Short Paper 14 February 2007 Pages: 103 - 108

16. Chameleon Hashes Without Key Exposure Based on Factoring

    • Wei Gao
    • Xue-Li Wang
    • Dong-Qing Xie

    Short Paper 14 February 2007 Pages: 109 - 113

17. An Efficient Handoff Decision Algorithm for Vertical Handoff Between WWAN and WLAN

    • Min Liu
    • Zhong-Cheng Li
    • Xiao-Bing Guo

    Short Paper 14 February 2007 Pages: 114 - 120

18. FloodNet: Coupling Adaptive Sampling with Energy Aware Routing in a Flood Warning System

    • Jing Zhou
    • David De Roure

    Regular Paper 14 February 2007 Pages: 121 - 130

19. An Efficient Data Dissemination Scheme for Spatial Query Processing

    • Kwangjin Park
    • Hyunseung Choo
    • Chong-Sun Hwang

    Short Paper 14 February 2007 Pages: 131 - 134

20. End-to-End Utilization Control for Aperiodic Tasks in Distributed Real-Time Systems

    • Yong Liao
    • Xu-Dong Chen
    • Nan Sang

    Regular Paper 14 February 2007 Pages: 135 - 146

21. 3D Morphing Using Strain Field Interpolation

    • Han-Bing Yan
    • Shi-Min Hu
    • Ralph R Martin

    Regular Paper 14 February 2007 Pages: 147 - 155

22. Visual Simulation of Multiple Unmixable Fluids

    • Wen Zheng
    • Jun-Hai Yong
    • Jean-Claude Paul

    Short Paper 14 February 2007 Pages: 156 - 160

23. A Markov Random Field Model-Based Approach to Natural Image Matting

    • Sheng-You Lin
    • Jiao-Ying Shi

    Short Paper 14 February 2007 Pages: 161 - 167