The Lab's mission is to pioneer new technologies for high-assurance and secure systems and prototype tools that can provide guarantees that a system will not exhibit unpredictable behavior in a hostile environment. In doing so, our activities will have a strong impact on how safety-critical applications get implemented. Our objective is to consolidate and organize research and tool-building efforts already under way at Stevens.We are taking several approaches to language-based tools for high-assurance, secure systems. Language-based automated analysis can be used to check components during development and also at the point of deployment. Such analyses can complement trust-based approaches to security of mobile components and enhance performance by reducing overhead of run-time checking. Language-based tools fit the programming environments of professional practice, along side other tools like test-generators and performance profilers. Type-based analyses can prevent leakage of privileged data even with dynamic linking and replacement of libraries at run-time. New abstractions are being developed for fault-tolerant computation in wide area networks. Verification techniques can check correctness of implementations of security protocols.