🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Our seminar this week (Wed 3pm UK time) is by Herbert Bos Herbert Bos of VUSec / Vrije Universiteit Amsterdam (inactief) on Attacks on Hardware: How to Ruin Your Life. Abstract, online attendance info at uk-sps.org/seminar/attack… #HardwareSecurity

Our #cybersecurity seminar this week is by Adam Morrison of Tel Aviv University on An Analysis of Speculative Type Confusion Vulnerabilities in the Wild. Abstract, online attendance info at uk-sps.org/seminar/an-ana… #SpeculativeExecutionSecurity #SpectreAttack #exploit

Our #cybersecurity seminar this week is by Ana Salagean of Loughborough Science on estimating the #nonlinearity of cryptographic Boolean functions. Abstract, online attendance info at uk-sps.org/seminar/estima… #cryptography #BooleanFunctions #SymmetricCrypto #AES

Our #CyberSecurity seminar this week is by Ioana Boureanu Ioana Boureanu of SCCS on Practical and Formal Analysis of Contactless Mobile Payment Security. Abstract, online attendance info at uk-sps.org/seminar/ioana-… #PaymentSecurity #FormalAnalysis #SecurityVerification

Our #CyberSecurity seminar this week (Wed 3pm UK time) is by Robert Buhren of TU Berlin on One Glitch to Rule them All: #FaultInjectionAttacks against #AMD 's #SecureEncryptedVirtualization. Abstract, online attendance info at uk-sps.org/seminar/robert… #HardwareSecurity

Wow! 29 #cybersecurity seminars this year since late May! Thanks for supporting your UK-SPS seminar series. 🙏🏽 If you attended any of the talks or have any suggestions, please take a couple of minutes & complete our anonymous survey: forms.gle/Vv5Jn6HYkdBDib… Happy holidays!

We are back! This week's UK-SPS seminar (tomorrow 3pm UK time) will be by Luca De Feo L De Feo @[email protected] @bsky.defeo.lu of IBM Research on the (in)security of #ElGamal in #OpenPGP. Attendance info, abstract at uk-sps.org/seminar/on-the… #attacks #AppliedCryptography #Security

Our next #cybersecurity seminar is by Omar Haider Chowdhury on Towards a High-Assurance and Specification-Compliant X.509 PKI Implementation. Attendance info and abstract on uk-sps.org/seminar/toward… #PKI #FormalMethods #assurance

Our #cybersecurity seminar this week (Wed 3pm UK time) is by Yuzhe Tang Yuzhe Tang of Syracuse University on Understanding and Hardening #Blockchain Systems #Security under #DoS Attacks. Attendance info at uk-sps.org/seminar/unders… #BlockchainSecurity #DoSAttack #Ethereum

Our #cybersecurity seminar this week (Wed 3pm UK time) is by Bo Li of University of Illinois on Trustworthy #MachineLearning: #Robustness, #Privacy, Generalization, and their Interconnections. Attendance info at uk-sps.org/seminar/trustw… #MLSecurity #MachineLearningSecurity

Our #cybersecurity seminar this week (Wed 3pm UK time) is by Elissa Redmiles Elissa M. Redmiles, Ph.D. of Max Planck Society on Learning from the People: Responsibly Encouraging Adoption of #ContactTracing Apps. Attendance info at uk-sps.org/seminar/learni… #DescriptiveEthics #COVID19

Our #CyberSecurtiy seminar this week (Wed 3pm UK time) is by Ben Stock Ben Stock of life on Failing Content Security Policy? Learning from its past to improve its future. Attendance info at uk-sps.org/seminar/failin… #WebSecurity #privacy #usability #ContentSecurityPolicy

Our #cybersecurity seminar this week (Wed 3pm) is by Musard Balliu Musard Balliu of KTH Royal Institute of Technology on Securing Cloud-based #IoT Apps. Attendance info on uk-sps.org/seminar/securi… Joint seminar with fmsec.github.io/fmsec/ #FormalMethods #Security #IoTSecurity

Join us for our #cybersecurity seminar tomorrow by Bruno Blanchet of Inria on the security protocol verifier #ProVerif and its recent improvements. Joint with fmsec Attendance info at uk-sps.org/seminar/the-se… #FormalMethods #ProtocolVerification #SecurityProtocols

Join us online today at 3pm UK time for Pascal Lafourcade Pascal Lafourcade 's talk on the (in)security of e-exams. Attendance details at uk-sps.org/seminar/insecu… Joint talk with fmsec.github.io #CyberSecurity #FormalMethods #Proverif

Join us on Wed 12 Apr 3pm UK time for Nataliia Bielova Nataliia Bielova 's seminar on Protecting Privacy of Web Users. Attendance details at uk-sps.org/seminar/protec… #privacy #WebPrivacy #WebTracking #cookies #gdpr #ePrivacy #consent #darkpatterns

I am going to present the recent research in the field of #Web #privacy that we've conducted with my awesome collaborators and students! It's today at 16:00 CEST!

A reminder that in a few hours' time, we will have an online seminar by Nataliia Bielova Nataliia Bielova on Protecting Privacy of Web Users. Everyone is welcome. x.com/UKSPSeminars/s… #privacy #WebPrivacy #WebTracking #cookies #gdpr #ePrivacy #consent #darkpatterns

Join us today at 3pm UK time for Fulvio Valenza's online talk on Formal and Automatic Network Security Configuration. All are welcome. Attendance info: uk-sps.org/seminar/formal… #NetworkSecurity #FormalMethods #FormalVerification #Security

Join us online today at 3pm UK time for Muhammad Usama Sardar Muhammad Usama Sardar 's seminar on Specification and #Formal_Analysis of #Attestation Mechanisms in #Confidential_Computing. Joining instructions at uk-sps.org/seminar/compre… #Security