🔥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

The VeTSS Annual Meeting 2024 is just around the corner! We’re excited to welcome you tomorrow. Explore the full program here ⬇️ vetss.org.uk/vetss-annual-m… #VeTSS

The VeTSS Annual Meeting 2024 kicked off with a warm welcome and introductions from directors Prof Brijesh Dongol and Dr Azalea Raad. #AzaleaRaad #VeTSS

Prof. Peter O’Hearn (Lacework and UCL) delivered the keynote talk on "Holistic Security from Code to Cloud."

The second morning session featured talks by Edoardo Manino on "Bit-Precise Neural Network Verification," Sophia Drossopolou on "Object Capabilities as Guards – Specification, Verification, and Open Calls," and Ross Horne on "Contactless Payments Made Private via Bisimilarity."

The Industry Perspectives talks included "Writing Formal Specifications at ARM" by Jade Alglave (Arm), "RISC-V Processor Verification: Challenges and Opportunities for Formal" by Ashish Darbari (Axiomise), and "Verification and Legal Consequences" by Peter Davies (Thales).

Three #VeTSS-aligned project talks were presented: "SACRED-MA" by Guillaume Ambal and Gregory Chockler, "TRUSTED" by Narges Khakpour, and "M4Secure" by Zheng Wang.

The #VeTSS Annual Meeting 2024 concluded with two talks: "Using Program Synthesis to Make Your Code Run Faster" by Elizabeth Polgreen and "Secure Smart Contracts with Isabelle/Solidity" by Diego Marmsoler. Thank you to all the speakers!

📢 #VeTSS Summer School 2024 will take place at the University of Bristol from August 13th to 15th. Open to PhD students and early career researchers focused on program analysis, testing, and verification. Register your interest now: wp.doc.ic.ac.uk/vss24/

Deadline to apply to the VeTSS Summer School is coming up, apply here: wp.doc.ic.ac.uk/vss24/registra… before Monday 15th July at 17:00!

I've been fortunate to work with some great people on code security Lacework . Here's a description work we've been up to on the security of 1st-party code. (with DilDog 🅅 , the_storm , Vaggelis Atlidakis , Pascal Kesseli + FrancescoP, JeremyD, LinpengZ) lacework.com/blog/sast-for-…

Excited to kick off the VeTSS Summer School 2024 at the University of Bristol! Looking forward to 3 days of inspiring talks, hands-on workshops, and networking with brilliant minds in the field. #VeTSS2024 #VeTSS

The first session is underway with Nicolas Wu from Imperial College London giving us an introduction to category theory and its links to structured recursion schemes. #VeTSS

An excellent presentation from Jeremy Singer (University of Glasgow) on synthesising and verifying memory allocators on CHERI architectures. #VeTSS

Sunny vibes and good company 🌞 VeTSS Summer School students were enjoying a lovely lunch break in the picturesque courtyard at Fry Building, University of Bristol. Perfect spot for recharging between lectures! #VETSS

Day 2 is underway, with Martin Brain from City University London describing a recent development with Elizabeth Polgreen on their pyramid for software verification. #VeTSS

Prof Mark Batty from the University of Kent is now presenting some seminal work on reasoning about weak memory concurrency. #VeTSS

Day 3 - Prof Ioana Boureanu Ioana Boureanu from the University of Surrey is delivering a comprehensive lecture on verifying privacy in cryptographic protocols. #VeTSS #summerschool

Prof Kerstin Eder from the University of Bristol presenting the final lecture at the 2024 VeTSS Summer School on energy efficient software development. #VeTSS #summerschool

The VeTSS Summer School 2024 has officially wrapped up! 🎉 Huge thanks to all the incredible lecturers and our host who made it an unforgettable experience for our students. Your knowledge and passion created a summer full of inspiration and learning. #VeTSS_RI

The 2-day Open for Business workshop on Formal Specification and Validation at Scale at the Isaac Newton Institute is now underway We look forward to hearing from a wide range of speakers over the next 2 days Supported by VeTSS and Amazon More info: bit.ly/3NwDyfY