Computer Science retweetledi
Computer Science
586 posts
Computer Science
@ComputingSurrey
The latest news, events and commentary from the Department of Computer Science @UniOfSurrey
Guildford Katılım Ocak 2011
161 Takip Edilen633 Takipçiler
Computer Science retweetledi
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!
English
Computer Science retweetledi
What a great event, on IoT, autonomy, AI, security and what lies ahead under our Future of Cyber Series!!!
linkedin.com/posts/surrey-c…
English
Computer Science retweetledi
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
English
Computer Science retweetledi
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
English
Computer Science retweetledi
Our own @gardhamdan speaking of qauntum cryptography at our event today, co-hosted with SASIG Events and Surrey Cyber Security Cluster . Very engaging!
English
Computer Science retweetledi
Computer Science retweetledi
@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....
English
Computer Science retweetledi
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…
English
A review of the current IT outage by our @ProfWoodward
theconversation.com/major-it-outag…
English
English
Computer science academics looking resplendent as ever at this year’s graduation. Congratulations to all our students graduating this year!
English
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...!
English
Computer Science retweetledi
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!!!
English
Computer Science retweetledi
Our first of the 3 papers we have at @CSFSymposium this year being presented today by our postdoc Fortunat Rajaona
English
Computer Science retweetledi
SCCS event this Wednesday pm, in Guildford, on cyber and democracy. Hot topic, top speakers.
A few tickets left, here:
thesasig.com/calendar/event…
English
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
English
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
English
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!
twitter.com/SCCS_UniSurrey…
SCCS@SCCS_UniSurrey
Proud to continue to be in the elite @NCSC -recognised ACE-CSR network : twitter.com/NCSC/status/17… Looking forward to exciting futures in cybersecurity research!
English
Computer Science retweetledi
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!!!
English