BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Research Institute in Automated Program Analysis and Verification - ECPv5.16.1.1//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:Research Institute in Automated Program Analysis and Verification X-ORIGINAL-URL:https://verificationinstitute.org X-WR-CALDESC:Events for Research Institute in Automated Program Analysis and Verification BEGIN:VTIMEZONE TZID:UTC BEGIN:STANDARD TZOFFSETFROM:+0000 TZOFFSETTO:+0000 TZNAME:UTC DTSTART:20150101T000000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTART;VALUE=DATE:20150611 DTEND;VALUE=DATE:20150613 DTSTAMP:20240328T185651 CREATED:20150415T093326Z LAST-MODIFIED:20151214T100150Z UID:625-1433980800-1434153599@verificationinstitute.org SUMMARY:Fourth Workshop on Formal Methods And Tools for Security (FMATS) DESCRIPTION:FMATS4 was successfully held at Microsoft Research Cambridge on 11 and 12 June 2015. The event was attended by more than 65 participants comprising researchers\, industrialists and government employees\,  and included specialist talks on 15 different topics (see final programme). In addition to the specialist talks\, we had bite-size introductions from six winners of the “PhD Prizes” and an open-discussion on the next steps. \nFor previous FMATS webpages\, click here \n  \nVenue: Microsoft Research Cambridge (map) \nOrganisers: Philippa Gardner\, Markulf Kohlweiss\, Mike Gordon\, Andy Jackson\, Graham Steel \nFMATS4 is supported by the Research Institute in Automated Program Analysis and Verification funded by GCHQ\, EPSRC and BIS. \n\nFinal Programme\n\n\nThursday June 11\n\n 09:30-09:55 Tea\, coffee and pastries\n \n 09:55-10:00 Welcome to FMATS4 by Philippa Gardner (Imperial College London)\n 10:00-11:00 Keynote by Daniel Kroening (University of Oxford)\, \n Title: DANGER Invariants\n\n 11:00-11:30 Coffee break\n\n 11:30-12:00 Pasquale Malacaria (QMUL)\, Talk on analysis of Heartbleed \n [RI Project] Compositional Security Analysis for Binaries\n \n 12:00-12:30 Brad Karp (UCL)\, Title: Practical Privacy for Web Users with COWL \n [RI Project] Program Verification Techniques \n \n 12:30-13:00 David Clark (UCL)\, Title: Malware Detection through Pre Static Analysis \n [RI Project] SeMaMatch: Semantic Malware Matching\n \n 13:00-14:00 Lunch\n\n 14:00-14:30 Dalal Alrajeh (Imperial College London)\,\n Title: Reasoning about Crime through verification and rule-based learning\n 14:30-15:00 Hannes Mehnert (University of Cambridge)\, Talk on safe TLS stack work \n 15:00-15:30 Graham Steel (Cryptosense)\, Title: Crypto Application Analysis \n\n 15:30-16:00 Tea break\n\n 16:00-16:30 Igor Muttik (McAfee)\, Title: Recognising and tracking code reuse \n [RI Project] App Guarden: Resilient Application Stores\n \n 16:30-17:15 5-min talks by PhD students (Prize winners)\n [Dehnel\, Filaretti\, Franzen\, Kuchta\, Neville\, Repel]\n\n 18:30-22:00 Drinks Reception and Workshop Dinner at Westminster College\n \nFriday June 12\n\n 08:30-09:00 Coffee\, informal discussions and poster viewing\n \n 09:00-10:00 Keynote by Gilles Barthe (IMDEA Software Institute)\, \n Title: Computer-Aided Cryptography\n 10:00-10:30 Markulf Kohlweiss (Microsoft Research)\,\n Title: (mi)TLS 1.3: can cryptography\, formal methods\, and applied security be friends?\n\n 10:30-11:00 Coffee break\n\n 11:00-11:30 Peter Sewell (University of Cambridge)\n Title: C?\n 11:30-12:00 Roderick Chapman (Protean Code Limited)\, Stuart Matthews (Altran UK) \n Title: Are we there yet? 20 years of industrial theorem proving with SPARK\n 12:00-12:30 Discussion\n\n 12:30-13:30 Lunch\n\n 13:30-14:00 Giles Reger (University of Manchester)\, \n Title: Cooperating Proof Attempts in Vampire\n [RI Project] REVES: REasoning in VErification and Security \n \n 14:00-14:30 Azeim Chawdhary and Ed Robbins (University of Kent)\,\n Title: Type recovery and decompilation are a marriage made in heaven \n [RI Projects] SeMaMatch: Semantic Malware Matching\, \n Compositional Security Analysis for Binaries\n \n 14:30-15:00 Chris Novakovic (Imperial College London)\, \n Title: BrowserAudit: Automated Testing of Browser Security Features \n [RI Project] Certified Verification of Client-Side Web Programs\n \n 15:00-15:30 Tea break and End of Workshop\n\nThere is no charge for the workshop\, however registration is required. Complimentary tea\, coffee\, lunches and a workshop dinner will be provided\, but participants are expected to make their own travel and accommodation arrangements. Please refer to your invitation email for registration link for attendance and dinner. \nPrizes to support PhD students attending FMATS4: The FMATS4 organisers have a limited number of £200 prizes to support PhD students attending the workshop. As there are limited spaces\, the prizes will be awarded on a first-come first-served basis and at the discretion of organisers. All prize winners are expected to be present on both workshop days and give a short oral presentation. Prize winners who are in their second or later years of research are encouraged to prepare a poster on their research for display during the workshop. \nFor previous FMATS webpages\, click here. FMATS on Google+ and Facebook. URL:https://verificationinstitute.org/event/fourth-workshop-on-formal-methods-and-tools-for-security-fmats4/ LOCATION:Microsoft Research Cambridge ATTACH;FMTTYPE=image/png:https://wp.doc.ic.ac.uk/riapav/wp-content/uploads/sites/28/2015/04/FMATS4.png END:VEVENT END:VCALENDAR