Logic in Computer Science
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved me... »

Secure Communicating Systems
More computer professionals are being confronted with the use, maintenance, or customization of cryptographic components and program certification mechanisms... »