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 a reposté

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 a reposté

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 a reposté

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 a reposté

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 a reposté

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

amazon.science

Amazon Research Awards

Collaborating with scientists around the globe to fund research, share knowledge and encourage innovation.


Computer Science a reposté

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 a reposté

@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 a reposté

@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 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 a reposté

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 a reposté

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 a reposté

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 a reposté

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


United States Tendances

Loading...

Something went wrong.


Something went wrong.