Changes between Version 1 and Version 2 of BostonLocal


Ignore:
Timestamp:
02/10/17 22:59:59 (2 years ago)
Author:
akatlas@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • BostonLocal

    v1 v2  
    3030
    3131* October 17, 2017:  5pm - 7pm (continuing into dinner) at [https://www.burren.com The Burren], 247 Elm Street, Somerville, MA
    32      The Burren has beverage and food available.  We'll be in the back room.
    33      Agenda (To be verified):
    34        '''Continuous Verification for Cryptographic Protocol Development''' by Andres Molina-Markham
     32     The Burren has beverage and food available.  We'll be in the back room.[[BR]]
     33
     34     Agenda is under active development/confirmation:
     35       '''Continuous Verification for Cryptographic Protocol Development''' by Andres Molina-Markham  (30 mins)
    3536          Abstract: The proliferation of connected devices has motivated a surge in the development of cryptographic
    3637                    protocols to support a diversity of devices and use cases. To address this trend, we propose