Computer Science

The latest news, events and commentary from the Department of Computer Science @UniOfSurrey

[SCCS @SCCS_UniSurrey]

On 26 Nov 2025, the "Future of Cyber" series dives into "Securing Critical National Infrastructure (CNI)".

📍 University of Surrey
⏰ 15:30 - 18:00 + networking
In collaboration with Surrey Cyber Security Cluster!

REGISTRATION COMING SOON. SAVE THE DATE

[SCCS @SCCS_UniSurrey]

Our own, Fortunat Rajaona, attending @IEEEEUROSP presenting our paper and poster on formal verification of the AKMA protocol. Great work, with @icboureanu , @SSchneider2025 ,@HTreharne83762 in a 2022-2025 UK project!

[SCCS @SCCS_UniSurrey]

What a great event, on IoT, autonomy, AI, security and what lies ahead under our Future of Cyber Series!!!
https://t.co/O9C2mjxSzG

[Ioana Boureanu @icboureanu]

Tomorrow, 2nd of July 2pm BST / 3pm CET, talk at the Cyber Security & Resilience Seminar https://t.co/8J69AarXom by Dr Charles Olivier- Anclin, on a USENIX2025 paper (!), on stopping tracking during contactless payments !! Don't miss it.

Zoom  https://t.co/UYv2195YAj

[Ioana Boureanu @icboureanu]

With my colleague Fortunat Rajaona, we're excited we've received an Amazon Research Award for our proposal "Phoebe+", on model checking privacy, hosted at @UniOfSurrey and @SCCS_UniSurrey

Learn more on #AmazonResearchAwards at @AmazonScience : https://t.co/3beobVhuIM

[SCCS @SCCS_UniSurrey]

Our own @gardhamdan speaking of qauntum cryptography at our event today, co-hosted with SASIG Events and Surrey Cyber Security Cluster . Very engaging!

[SCCS @SCCS_UniSurrey]

@Waggo speaking on quantum computing , at our event today on quantum security, co-hosted with SASIG Events and Surrey Cyber Security Cluster ... Very interesting!

[SCCS @SCCS_UniSurrey]

@SanaBelguith speaking on the impact of quantum tech on current infrastructure, at today's event hosted by us, SASiG and the Surrey Cluster of Cyber Security....

[SCCS @SCCS_UniSurrey]

Come to this superb event we are co-hosting, on quantum security, on the 5th of March, with @SurreyCyber and @SASIGEvents

https://t.co/l8ZTg19aYN

[SCCS @SCCS_UniSurrey]

A review of the current IT outage by our @ProfWoodward
https://t.co/xJXq9gGzI3

[Computer Science @ComputingSurrey]

@SCCS_UniSurrey @ProfWoodward Very nice coverage, indeed, @ProfWoodward ! Thank you.

[Computer Science @ComputingSurrey]

Computer science academics looking resplendent as ever at this year’s graduation. Congratulations to all our students graduating this year!

[Computer Science @ComputingSurrey]

Great to see three papers from Surrey at CSF this year!

[SCCS @SCCS_UniSurrey]

And.. the third paper we have had at @CSFSymposium ...about formalising security ceremonies! With @Inria and INSA.. Nice work...!

[SCCS @SCCS_UniSurrey]

Our second paper at @CSFSymposium, on relative security and Spectre-like attacks. With @sheffielduni, Andrei Popescu and James Wright. Nice work, if we can say so ourselves!!!

[SCCS @SCCS_UniSurrey]

Our first of the 3 papers we have at @CSFSymposium this year being presented today by our postdoc Fortunat Rajaona

[SCCS @SCCS_UniSurrey]

SCCS event this Wednesday pm, in Guildford, on cyber and democracy. Hot topic, top speakers.
A few tickets left, here:

https://t.co/4LCyREPlPh

[Computer Science @ComputingSurrey]

Very good example of our excellence in cybersecurity! Kudos to all involved!!

[SCCS @SCCS_UniSurrey]

We have 3 exciting papers at @CSFSymposium this year: one on a new tool for formal verification of privacy; one a new (dis)proof method for transient execution vulnerabilities, e.g., Spectre, Meltdown; one on formal modelling of security ceremonies. See you at @CSFSymposium 2024

[Computer Science @ComputingSurrey]

The @UniOfSurrey School of Computer Science and Electronic Engineering has achieved an Athena SWAN Bronze Award! It recognises solid foundations for eliminating gender bias and developing an inclusive culture that values all staff.

Read more: https://t.co/yfKm788FAJ

[Computer Science @ComputingSurrey]

Our @UniOfSurrey recognised at a centre of excellence in cybersecurity research (ACE-CSR) again, by @NCSC. What a privilege and a joy to have been in the ACE-CSR hub since 2014! Looking forward to new exciting times in cybersecurity ahead!
https://t.co/4bmXbTVfov

[SCCS @SCCS_UniSurrey]

Proud to continue to be in the elite @NCSC -recognised ACE-CSR network :
https://t.co/PDw4KXBdqT
Looking forward to exciting futures in cybersecurity research!

[SCCS @SCCS_UniSurrey]

Proud to announce that our PhD student Matt Griffin secured third place in the ACM Student Research Competition https://t.co/0FVvyJw7Oz and also won a $200 prize! Very well done!!!