School of Computer Science and Statistics
LetsEncrypt is currently the most important X.509 CA issueing (free) certificates for web servers. Web servers interact with LetsEncrypt via the ACME protocol (RFC8555). Since the basic ACME RFC was published (in 2019) a number of extensions and profiles have been defined by the IETF’s ACME working group. The project here is to survey those … Read more
The project is to check what (various) browsers and/or other DNS stubs/recursives and public recursives (e.g. quad-1,8,9) support and use in terms of TLS 0-RTT when DoT/DoH /DoQ are used. Having established the state of current deployments, the next goal is to check whether or not a 0-RTT replay attack works or fails in common … Read more
Due to the potential damage a cryptrographically relevant quantum computer could do to uses of widely used asymmetric cryptographic algorithms, a range of new “post-quantum” algorithms have been developed and are being widely deployed, e.g. in TLS in web browsers. This project is to investigate potential timing issues with implementations of such algorithms, likely reproducing … Read more
Email is inherently a delay-tolerant application. However, modern email deployments involve online checks used by anti-spam mechanisms, non-standard UA/MS interactions, MFA client authentication and hop-by-hop encryption all of which can be problematic in the face of high delays or disruptions, and perhaps especially at scale. The scenario here is where we want to do email … Read more
I am happy to supervise a project in all the areas of computer networking that I am interested in — wireless networking, Machine Learning, Artificial Intelligence and in their application to a wide range of real world settings (healthcare, IoT, structural health monitoring). I am particularly interested in exploring some aspects of quantum computing; for … Read more
Background I’m happy to consider compelling project proposals that involve hardware, networking, security or wireless technologies. Ideally they will be well aligned with my research interests. In recent years students have worked on projects in security and crypto, VPNs, homomorphic encryption, Vehicular Networking, Distributed online control, Underwater communications, music visualisation and some fundamental Quantum Communication … Read more
Background I’m happy to consider compelling project proposals that involve hardware, networking, security or wireless technologies. Ideally they will be well aligned with my research interests. In recent years students have worked on projects in security and crypto, VPNs, homomorphic encryption, Vehicular Networking, Distributed online control, Underwater communications, music visualisation and some fundamental Quantum Communication … Read more
Background I’m happy to consider compelling project proposals that involve hardware, networking, security or wireless technologies. Ideally they will be well aligned with my research interests. Please get in touch In recent years students have worked on projects in security and crypto, VPNs, homomorphic encryption, Vehicular Networking, Distributed online control, Underwater communications, music visualisation and … Read more
The advent of IoT devices led to the creation of many different, distributed machine learning techniques to identify patterns and make logical decisions based on the large volumes of data generated. Traditionally, these devices readily shared their raw data with a centralised server. However, this sharing of raw data is not conducive to maintaining the … Read more
Scanning public-facing Internet services in order to detect security- and privacy-relevant patterns and problems is becomming well-trodden ground. Typical studies attempt Internet-scale IPv4 scans, e.g., to detect uses of outdated ciphers in uses of the Transport Layer Security (TLS) protocol. More local scans (e.g., https://eprint.iacr.org/2018/299) could however produce results that are easier to translate into … Read more