Computer Science
@ComputingSurrey
Followers
631
Following
119
Media
88
Statuses
586
The latest news, events and commentary from the Department of Computer Science @UniOfSurrey
Guildford
Joined January 2011
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
0
1
1
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
What a great event, on IoT, autonomy, AI, security and what lies ahead under our Future of Cyber Series!!! https://t.co/O9C2mjxSzG
linkedin.com
What a great event under our Future of Cyber Series , co-organised with Surrey Cyber Security Cluster and SASIG Events . The speakers, Anas Amer , Saber Fallah, PhD, PEng Tammy Archer , Ercihan...
1
1
2
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
0
2
2
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 :
0
2
5
Our own @gardhamdan speaking of qauntum cryptography at our event today, co-hosted with SASIG Events and Surrey Cyber Security Cluster . Very engaging!
0
1
2
@Waggo speaking on quantum computing , at our event today on quantum security, co-hosted with SASIG Events and Surrey Cyber Security Cluster ... Very interesting!
0
3
2
@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....
0
2
4
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
linkedin.com
Quantum threats and opportunities: The future of cybersecurity -- An event in collaboration with Surrey Cyber Security Cluster, and SASIG Events 📅 Wednesday 5 March 🕚 3.30pm – 7pm 📍 Camberley,...
0
1
1
Computer science academics looking resplendent as ever at this year’s graduation. Congratulations to all our students graduating this year!
0
4
28
Great to see three papers from Surrey at CSF this year!
And.. the third paper we have had at @CSFSymposium ...about formalising security ceremonies! With @Inria and INSA.. Nice work...!
0
0
0
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!!!
0
1
2
Our first of the 3 papers we have at @CSFSymposium this year being presented today by our postdoc Fortunat Rajaona
0
1
4
SCCS event this Wednesday pm, in Guildford, on cyber and democracy. Hot topic, top speakers. A few tickets left, here: https://t.co/4LCyREPlPh
thesasig.com
With the rise of online activism and participation tools, as well as social media’s role in political expression and misinformation, digital innovations are creating both opportunities and challenges...
1
2
2
Very good example of our excellence in cybersecurity! Kudos to all involved!!
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
0
0
0
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
0
2
7
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
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!
0
0
3
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!!!
0
1
6
Great research from @romanbauer111 in @PhysicsWorld which could lead to better radiotherapy. https://t.co/FtpZbmN85O
physicsworld.com
A computer model that reveals radiation damage at the cellular level could improve radiotherapy outcomes for lung cancer patients
0
2
4