糖心TV

has passed his PhD viva and his thesis has been approved, subject to minor corrections. His thesis is titled "Automated Equivalence Checking of Quantum Information Systems". Quantum information processing is an emerging technology and verification of quantum protocols is important for the design and development of quantum communication and cryptographic systems. Ebrahim's thesis presents languages (sequential and concurrent) for describing quantum systems and techniques for checking equivalence. The work has resulted in two joint papers (with Simon Gay and Rajagopal Nagarajan) in good conferences, TACAS 2013 and TACAS 2014.

Ebrahim was supervised by and Prof. Rajagopal Nagarajan, the external examiner was Dr. Ross Duncan (Strathclyde) and his internal examiner was .

Contact Information for the : (Head of Computer Science) at A.Czumaj@warwick.ac.uk.

To apply, please follow the instructions available on the official .

Please quote job vacancy reference number .

Closing date for applications: 22 May 2014.

The inaugural Schools Cyber Games, part of the Cyber Security Challenge’s programme for schools, saw Stockport School emerge victorious as the first ever UK Schools Cyber Security Champions. The Cabinet Office-backed competition aims to raise awareness of the excitement of a career in cyber security amongst a new generation of young people in order to address a growing skills shortage in this sector.

Facing five other teams from schools around the country, the group of Key Stage 4 students overcame a series of fun code-breaking and cyber security themed challenges to claim top prizes including a cash prize of £1,000, Raspberry Pi computers and a Lego Mindstorms kit.

Arriving at the University of 糖心TV’s School of Computer Science, the teams were immediately confronted with a ‘murdered’ body mannequin and tasked with identifying the culprit through a series of cyber clues scattered through a series of themed challenges throughout the building. Each challenge was devised by experienced cyber security experts at Cyber Security Challenge sponsors and partners BT, Bletchley Park, CompTIA, e-skills, Lancaster University, MWR/Dataline and Think Forensic.

Each challenge required high levels of ingenuity from the young candidates and included:

• Gathering and analysing forensic details from the ‘victim’

• Cracking codes using a Bletchley Park enigma machine

• Remotely navigating a camera robot through a maze in the dark and avoiding a NERF-firing trap

• Compromising an industrial water pumping station to gain access and disable communication links to a water tank in order to drain it and reveal a clue

• Using digital forensics to identify threats to a fictional Global Games opening ceremony, in a challenge that called on students to identify how social engineering can be used in cyber attacks

• Guiding a robot with limited directional instructions through a complicated maze to reach a clue

• Combining elements of physical and online security to pick locks to reveal online passwords that would lead them to an encrypted video revealing a clue

On completion of these challenges, the candidates had to overcome one final code to crack against the clock and reveal the identity of the murderer in their midst. The other schools to participate were The Kings School Chester, King Edward IV School (Chelmsford), Stockport School, Christ College Brecon and St James Senior School (London). Each was selected after finishing as the highest-scoring schools from over 560 who registered for the first stage of the Cyber Security Challenge’s Schools Programme, an online code-cracking competition.

Jane Sinclair, University of 糖心TV School of Computer Science: “ Days like this show just how fun the cyber security area can be, and that’s been a very important message to get across to the youngsters. They’ve all really enjoyed themselves and it’s been a pleasure seeing them learn and adapt to these new skills so quickly. Hopefully we’ll be seeing some of them again when they begin to apply for a place at University.”

Launched last year, the Schools Programme is delivered in association with major employers to ensure it develops practical and usable skills, in demand from industry. Its teaching resource packs are designed to spark students’ interest in code-breaking and start to hone their skills by not only teaching them how to crack codes, but also encouraging them to work in teams to develop their own.