VeTSS (@VetSS_RI) profile picture

VeTSS

@VetSS_RI

Research Institute on Verified Trustworthy Software Systems (VeTSS) at University of Surrey (director: B. Dongol) & Imperial College (director: @azalearaad)

 Surrey & London, UK
vetss.org.uk
Joined March 2023
  • Tweets86
  • Following124
  • Followers82
35Media
Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)Photo by VeTSS (@VetSS_RI)
The 2-day Open for Business workshop on Formal Specification and Validation at Scale at the @NewtonInstitute is now underway We look forward to hearing from a wide range of speakers over the next 2 days Supported by @VetSS_RI and @amazon More info: bit.ly/3NwDyfY
Image from Newton Gateway to Mathematics (@NewtonGateway)
Image from Newton Gateway to Mathematics (@NewtonGateway)
5
4
674
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
Image from VeTSS (@VetSS_RI)
1
1
4
576
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
Image from VeTSS (@VetSS_RI)
2
330
Day 3 - Prof Ioana Boureanu @icboureanu from the University of Surrey is delivering a comprehensive lecture on verifying privacy in cryptographic protocols. #VeTSS #summerschool
Image from VeTSS (@VetSS_RI)
2
1
7
915
Prof Mark Batty from the University of Kent is now presenting some seminal work on reasoning about weak memory concurrency. #VeTSS
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
1
1
2
343
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
Image from VeTSS (@VetSS_RI)
3
234
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
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
1
2
336
An excellent presentation from Jeremy Singer (University of Glasgow) on synthesising and verifying memory allocators on CHERI architectures. #VeTSS
Image from VeTSS (@VetSS_RI)
2
329
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
Image from VeTSS (@VetSS_RI)
5
303
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
Image from VeTSS (@VetSS_RI)
1
6
342
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_st0rm , @Vatlidak , @pascalkesseli + FrancescoP, JeremyD, LinpengZ) lacework.com/blog/sast-for-t…
9
1
25
3,090
Deadline to apply to the VeTSS Summer School is coming up, apply here: wp.doc.ic.ac.uk/vss24/regist… before Monday 15th July at 17:00!
2
1
3
562
📢 #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/
1
3
365
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!
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
3
221
Three #VeTSS-aligned project talks were presented: "SACRED-MA" by Guillaume Ambal and Gregory Chockler, "TRUSTED" by Narges Khakpour, and "M4Secure" by Zheng Wang.
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
2
150
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).
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
1
190
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."
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
134
Prof. Peter O’Hearn (Lacework and UCL) delivered the keynote talk on "Holistic Security from Code to Cloud."
Image from VeTSS (@VetSS_RI)
1
2
131
The VeTSS Annual Meeting 2024 kicked off with a warm welcome and introductions from directors Prof Brijesh Dongol and Dr Azalea Raad. #AzaleaRaad #VeTSS
Image from VeTSS (@VetSS_RI)
Image from VeTSS (@VetSS_RI)
107
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-me… #VeTSS
2
130
Load more