Skip to navigation | Skip to main content | Skip to footer

Advanced Computer Science Pathway: Computer Security - themes 2020-2021

Theme pool 1
  • Students take the following 2 themes.

Cyber Security

The large-scale application of the Internet and telecommunication technologies routinely generates enormous amount of information that is transmitted, processed, stored and managed on networked systems on a global scale. Information recorded electronically on a networked system is particularly vulnerable to security threats, such as: theft, manipulation or misuse of valuable or confidential information; deliberate damage to systems and services; and fraud and forgeries in e-business dealings. These threats could endanger national security, national critical infrastructure, business interests and personal privacy. The field of Security, namely the study of countermeasures to address these serious threats, is therefore of paramount importance to our quality of life. This Security theme is aimed at introducing the technologies, standards, policies, procedures and practices that can be used to secure information and distributed systems. It embraces a range of technologies such as cryptography, and computer, network and distributed system security, and also includes risk assessment procedures and the study of how security can best be managed

Software Security and Automated Reasoning

The Internet of Things revolution has dramatically increased the ubiquity of software, and thus the pervasiveness of security vulnerabilities in everyday life. In particular, the software is subject to numerous forms of attack such as memory corruption, buffer overflows, and injection; these flaws are often too complex or expressive to be manually detected by the software developer. Consequently, we are seeing an increased reliance on automated reasoning tools able to verify the platform-dependent code, including firmware, bootloaders, and operating systems. Many security vulnerabilities have their roots in the improper usage of memory resources. As an example, in 2019, the Microsoft Security Response Center reported that approximately 70% of their security vulnerabilities each year are due to memory safety issues in their C and C++ code. Our Software Security and Automated Reasoning Theme will introduce basic and advanced approaches to formally build verified trustworthy software systems, where trustworthy comprise five attributes: reliability, availability, safety, resilience, and security. Our theme will embrace various techniques and tools that exist to prevent and detect software flaws, which are typically hard to be manually found, including modelling, code reviews, fuzzing, static and dynamic code analyses, code tainting, and automated reasoning.
Theme pool 2
  • Students take 1 theme from the following list (in accordance with the timetable).

Data Engineering and Systems Governance

This theme aims to provide students with an overview and understanding of the entire data life cycle, including data creation, modelling, acquisition, representation, use, maintenance, preservation and disposal, as well as the general use of IT to secure data and information. It discusses database design, data warehousing, maintenance and analytics, data standards and data quality, as well as managing the human behaviour affecting the security of data and information systems.

Data on the Web

As the World Wide Web evolves from a web of documents to a web of documents, data and applications, standards, techniques and practices have evolved for modelling, managing and querying web data at scale. This theme explores a range of topics that have emerged from web data standards and practices, including semi-structured data management, linked open data and big data querying.

Learning from Data

The amount and complexity of data being produced and processed by modern technologies is growing rapidly. Computer applications are increasingly required to adapt and learn from these vast data resources. Manchester researchers are mining huge document collections, adaptively optimizing multi-core processors and understanding the complexity of the genome. Although these seem like very different applications, it turns out that they can all be tackled with a core set of common algorithms, drawn from the field of machine learning.

This theme will give you the chance to learn the core set of skills in this field, first studying the basics of machine learning, and quickly accelerating to the more advanced state of the art methods in high dimensional data analysis.

Software Engineering 1

Software Engineering tools and techniques are central to computer science, underpinning systematic development and evolution of software systems. This theme provides experience of modern approaches to software engineering, with a view to enabling students to deploy agile software development practices, and to work effectively with large software systems.