The SCoS group is looking at methods to make systems correct by construction. In particular, we are researching methods to automatically generate correct code and to correct ...

The SCoS group researches ways to make PCs, embedded devices, and mobile phone more secure. We are using technologies such as TPMs or TrustZone to answer questions like "How ...