Second Workshop on Formal Methods And Tools for Security (FMATS2)

Venue: Microsoft Research Cambridge (note new location: 21 Station Road, Cambridge CB1 2FB, UK). When you arrive at the Microsoft Research Building you'll find the reception at the front. If you are driving, the nearest car park is the NCP multi-storey located in the Leisure Park.

Dates: February 4-5, 2013

Organisers: Andy Gordon, Mike Gordon (local arrangements), Andy Jackson, Graham Steel

Previous web page

Morning of February 4
    09:00-10:00   Coffee, welcome and schmoozing
    10:00-11:00   George Danezis: Tutorial on machine learning and traffic analysis

    11:00-11:30   Coffee break

    11:30-12:00   Bart Jacobs Tutorial demo of VeriFast
    12:00-12:30   James Cheney: Provenance and security

    12:30-14:00   Lunch

Afternoon of February 4

    14:00-14:30   Sean Weaver: Cryptol and its applications
    14:30-15:00   Erik Poll, Sicco Verwer: Automated reverse engineering of security protocols
    15:00-15:30   Graham Steel: Mac In The Box

    15:30-16:00   Tea break

    16:00-16:30   Mark Ryan: Protected execution: model and analysis
    16:30-17:00   Jeremy Jacob: Confidentiality in Circus

    18:30-21:00   Drinks from 18:30 and buffet dinner from 19:00 in the Meade Room in the University Centre

Morning of February 5
    08:30-09:00   Coffee and schmoozing
    09:00-10:00   Overview of CESG research initiatives
    10:00-10:30   Dusko Pavlovic: Overview of

    10:30-11:00   Coffee break

    11:00-11:30   Gareth Smith: A trusted JavaScript semantics
    11:30-12:00   Janet Barnes: Correctness by Construction for security
    12:00-12:30   Shiu-Kai Chin: Mission Assurance in Cyberspace

    12:30-14:00   Lunch

Afternoon of February 5
    14:00-14:30   Dino Distefano: Future research ideas
    14:30-15:30   Rump session consisting of 5 minute presentations
                   Radu Grigore: TOPL demo
                   Will Harwood: The logic of trust
                   Frank Seaton Taylor: Advertisement for HCSS conference 
    15:30-16:00   Tea break

    16:00-17:00   BoF sessions

    17:00         End of Workshop.


Maintained by Mike Gordon.
This page last updated on Thu Feb 14 2013.