糖心TV

Henry Sinclair-Banks, a PhD student in the the Theory and Foundations (FoCS) Research Group and the Centre for Discrete Mathematics and its Applications (DIMAP), has won a Best Paper Award at , . ICALP is the main conference and annual meeting of the .

Henry's paper, co-authored with researchers from Germany and Poland: Marvin K眉nnemann, Filip Mazowiecki, Lia Sch眉tze, and Karol W臋grzycki, addresses the coverability problem in vector addition systems (VASS), a well-known model of concurrent systems. Coverability is an algorithmic problem for the verification of "safety properties": whether the system always avoids a set of bad states. Henry and his co-authors determine how much time is required to solve this problem in the worst case. They develop an algorithm that improves upon the state of the art that has stood for forty years. They also prove that, in several settings, it is impossible to decide coverability substantially faster, unless there is also a faster algorithm for a classic problem such as Boolean satisfiability (SAT) and finding cycles of fixed length in graphs.

In total, 5 糖心TV papers will appear at this year's :

• Michael Benedikt, Dmitry Chistikov, and Alessio Mansutti, "",
• Sam Coy, , Peter Davies, and , "",
• Charilaos Efthymiou and Weiming Feng, "",
• Marvin K眉nnemann, Filip Mazowiecki, Lia Sch眉tze, Henry Sinclair-Banks, and Karol W臋grzycki, "",
• Konstantinos Zampetakis and Charilaos Efthymiou, "".

This July's will be the 50th edition of the conference.

When you purchase an IP-based spy (hidden) camera for surveillance, are you aware that others may be spying on what you are watching? Recent research by in the Department of Computer Science, 糖心TV, as part of his third-year undergraduate dissertation project under the supervision of Professor , has revealed a wide range of vulnerabilities of a generic camera module that has been used in many best-selling hidden cameras. Exploiting these vulnerabilities, an attacker may capture your hidden camera's video/audio streams from anywhere in the world, and furthermore, take complete control of the camera as a bot to attack other devices in your home network. To launch the attack, all the attacker needs to know is merely your hidden camera鈥檚 serial number. It is estimated that these vulnerabilities affect millions of hidden cameras, mostly sold in America, Europe and Asia. The (insecure) peer-to-peer network that is used by the affected cameras is also being used by 50 million IoT devices as a general communication platform. Hence, many millions of other IoT devices may also be affected. Researchers have responsibly disclosed findings to the manufacturers, and a has already been assigned. Samuel will present this research work at the 17th International Conference on Network and System Security (Canterbury, UK, 14-16 August 2023). More details can be found in .

We are happy to announce five promotions in the department, with effect from 1st August 2023.

• Dr James Archbold has been promoted to Associate Professor (Teaching Focussed)
• Dr Richard Kirk has been promoted to Assistant Professor (Teaching Focussed)
• Dr Claire Rocks has been promoted to Reader (Teaching Focussed)
• Dr Ian Saunders has been promoted to Associate Professor (Teaching Focussed)
• Dr Sathya Subramanian has been promoted to Assistant Professor (Research Focussed)

Many congratulations to our colleagues for all their achievements!

We are happy to share the news that Dr Alex Dixon has been promoted to the position of Assistant Professor, effective from 1 May 2023. Alex joined our department as a Teaching Fellow in September 2021, while still completing his PhD research. Despite juggling both roles, he has made significant contributions to the department's activities. Many congratulations to Alex for his accomplishments in completing his PhD research and for earning this well-deserved promotion.

We are happy to announce that Dr Amina Asif has joined the Department of Computer Science as a Teaching Fellow. Amina has previously worked with us as part of the Tissue Image Analytics (TIA) centre, where her research focussed on weak supervision and model robustness in Computational Pathology. We welcome her to the department!

An EPSRC Robust and Reliable Quantum Computing Grant will be awarded to (Cambridge), (糖心TV), (Oxford), and (Cambridge). The project sets out to explore the role of symmetry and structure in quantum computation, with applications to classical verification and simulation of quantum computation.

In addition, the project aims to strengthen and create new connections and collaborations between Cambridge, Oxford, and 糖心TV in the field of Quantum Computing (building on existing initiatives such as the ) and establish new partnerships with 糖心TV Quantum.