
SCCS
@SCCS_UniSurrey
Followers
420
Following
311
Media
138
Statuses
588
#Surrey Centre for #Cyber #Security at @UniOfSurrey. NCSC-recognised #Academic Centres of Excellence in Cyber Security Research (ACE-CSR). #cybersecurity
Guildford, England
Joined March 2016
More on our AKMA-related work, at ASIACCS 2025!.Find our AKMA-verification papers at; #akma #5G #security #privacy #formalverification #Tamarin #Proverif #cryptography #postcompromise.
0
0
0
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
RT @icboureanu: Tomorrow, 2nd of July 2pm BST / 3pm CET, talk at the Cyber Security & Resilience Seminar by Dr Ch….
0
2
0
What a great event, on IoT, autonomy, AI, security and what lies ahead under our Future of Cyber Series!!!.
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
RT @icboureanu: New talk at CySe3 - the resilience, security and privacy seminar series. Online, 2nd of July,, 2pm BST / 3pm CET.We have a….
0
1
0
Talk on trains' cyber safety, today, 2pm, UK time, by @TomChothia ! Do not miss it. @fmsec_network @UKSPSeminars See for details!!!.
@UKSPSeminars & @fmsec_network are back in a new form, with a focus on resilience. Check out Co-organised with @ErisaKarafili, @SiamakFS, @Lucaarnabo68028, Roberto Metere. First talk - @TomChothia, 11th of June, 2pm UK time. See !.
0
0
0
RT @icboureanu: With my colleague Fortunat Rajaona, we're excited we've received an Amazon Research Award for our proposal "Phoebe+", on….
amazon.science
Collaborating with scientists around the globe to fund research, share knowledge and encourage innovation.
0
2
0
RT @icboureanu: @UKSPSeminars & @fmsec_network are back in a new form, with a focus on resilience. Check out Co-org….
0
5
0
RT @SCCS_UniSurrey: And world-class panel of our event today, co-hosted with SASIG and Surrey Cluster for Cyber Security .
0
1
0
RT @SCCS_UniSurrey: @secqai 's Rahul Tyagi speaking of practical quantum computation at our event, co-hosted with SASIG Events and Surrey C….
0
1
0
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
RT @SCCS_UniSurrey: @Waggo speaking on quantum computing , at our event today on quantum security, co-hosted with SASIG Events and Surrey C….
0
3
0
RT @SCCS_UniSurrey: @SanaBelguith speaking on the impact of quantum tech on current infrastructure, at today's event hosted by us, SASiG an….
0
2
0
With some delay, here's the news that SCCS has 2 papers accepted at @USENIXSecurity 2025, on EMV payments security and privacy, from ethical hacking to formal analysis + design. This is joint work with @UoB_SecPriv & @limos_lab with @icboureanu, @TomChothia + many others.
1
1
3
Come to this superb event we are co-hosting, on quantum security, on the 5th of March, with @SurreyCyber and @SASIGEvents.
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
RT @VetSS_RI: Day 3 - Prof Ioana Boureanu @icboureanu from the University of Surrey is delivering a comprehensive lecture on verifying priv….
0
2
0