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

Joined January 2011
88 Photos and videos
Computer Science retweeted
26 Sep 2025
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
1
1
64
Computer Science retweeted
1 Jul 2025
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!
1
2
3
166
Computer Science retweeted
Tomorrow, 2nd of July 2pm BST / 3pm CET, talk at the Cyber Security & Resilience Seminar cyse3.org/ by Dr Charles Olivier- Anclin, on a USENIX2025 paper (!), on stopping tracking during contactless payments !! Don't miss it. Zoom  lnkd.in/eyPeEnHq
2
2
156
Computer Science retweeted
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 : amazon.science/research-awar…
2
5
239
Computer Science retweeted
5 Mar 2025
Our own @gardhamdan speaking of qauntum cryptography at our event today, co-hosted with SASIG Events and Surrey Cyber Security Cluster . Very engaging!
1
2
76
Computer Science retweeted
5 Mar 2025
Replying to @Waggo
@Waggo speaking on quantum computing , at our event today on quantum security, co-hosted with SASIG Events and Surrey Cyber Security Cluster ... Very interesting!
3
2
287
Computer Science retweeted
5 Mar 2025
Replying to @SanaBelguith
@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....
2
4
59
Computer science academics looking resplendent as ever at this year’s graduation. Congratulations to all our students graduating this year!
4
28
1,911
Great to see three papers from Surrey at CSF this year!
11 Jul 2024
And.. the third paper we have had at @CSFSymposium ...about formalising security ceremonies! With @Inria and INSA.. Nice work...!
78
Computer Science retweeted
11 Jul 2024
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!!!
1
2
104
Computer Science retweeted
9 Jul 2024
Our first of the 3 papers we have at @CSFSymposium this year being presented today by our postdoc Fortunat Rajaona
1
4
136
Computer Science retweeted
24 Jun 2024
SCCS event this Wednesday pm, in Guildford, on cyber and democracy. Hot topic, top speakers. A few tickets left, here: thesasig.com/calendar/event/…

1
2
2
450
Very good example of our excellence in cybersecurity! Kudos to all involved!!
9 May 2024
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
82
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: rb.gy/dh6r4g
2
7
1,078
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! x.com/SCCS_UniSurrey/status/…

20 Mar 2024
Proud to continue to be in the elite @NCSC -recognised ACE-CSR network : x.com/NCSC/status/1770398049… Looking forward to exciting futures in cybersecurity research!
3
163
Computer Science retweeted
13 Mar 2024
Proud to announce that our PhD student Matt Griffin secured third place in the ACM Student Research Competition 2024.programming-conference.… and also won a $200 prize! Very well done!!!

1
6
174