Computer Science and Engineering, July 21, 2004 CSE CHAMPS Initiative Constructing High-Assurance Mobile and Pervasive Systems Department of Computer Science.