ComputingSurrey's profile picture. The latest news, events and commentary from the Department of Computer Science @UniOfSurrey

Computer Science

@ComputingSurrey

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

Computer Science 님이 재게시함

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


Computer Science 님이 재게시함

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_UniSurrey's tweet image. 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!

Computer Science 님이 재게시함

What a great event, on IoT, autonomy, AI, security and what lies ahead under our Future of Cyber Series!!! linkedin.com/posts/surrey-c…


Computer Science 님이 재게시함

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


Computer Science 님이 재게시함

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-awards


Computer Science 님이 재게시함

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

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

Computer Science 님이 재게시함

@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_UniSurrey's tweet image. @Waggo speaking on quantum computing , at our event today on quantum security, co-hosted with SASIG Events and Surrey Cyber Security Cluster ... Very interesting!

Computer Science 님이 재게시함

@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_UniSurrey's tweet image. @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....

Computer Science 님이 재게시함

Come to this superb event we are co-hosting, on quantum security, on the 5th of March, with @SurreyCyber and @SASIGEvents linkedin.com/posts/surrey-c…


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

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

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...!

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


Computer Science 님이 재게시함

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_UniSurrey's tweet image. 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!!!

Computer Science 님이 재게시함

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

SCCS_UniSurrey's tweet image. Our first of the 3 papers we have at @CSFSymposium this year being presented today by our postdoc Fortunat Rajaona

Computer Science 님이 재게시함

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


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



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

ComputingSurrey's tweet image. 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

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!

Proud to continue to be in the elite @NCSC -recognised ACE-CSR network : Looking forward to exciting futures in cybersecurity research!



Computer Science 님이 재게시함

Proud to announce that our PhD student Matt Griffin secured third place in the ACM Student Research Competition 2024.programming-conference.org/track/programm… and also won a $200 prize! Very well done!!!


Loading...

Something went wrong.


Something went wrong.