The latest news, events and commentary from the Department of Computer Science @UniOfSurrey
Guildford
Joined January 2011
- Tweets586
- Following160
- Followers633
- Likes121
Computer Science retweeted
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 retweeted
What a great event, on IoT, autonomy, AI, security and what lies ahead under our Future of Cyber Series!!!
linkedin.com/posts/surrey-ce…
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
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…
