Case Studies in Reliable Software

The primary application areas in which we have worked in recent years are network and system security, smartcard software, and electronic and Internet voting systems. These projects are more about applying the tools, techniques, and theories developed in other work than on developing new fundamental results.