Version 2 (modified by akatlas@…, 2 years ago) (diff)


IETF Boston-Local Community

The IETF Boston-Local Community first met in May 2015. Boston-Local has approximately 3 technical talks meetings a year and sometimes additional activities a desired.

Anyone interested in participating in the IETF or discussing related technical topics is more than welcome.

Contact Information is the mailing list used for coordination and planning for meet-ups.

The Local Coordinators are:

Alia Atlas <akatlas at> Rich Salz <rsalz at> Dale Worley <worley at>

How to Give a Talk?

Please do volunteer to give a talk on a topic related to the IETF technologies. We particularly welcome talks about new internet-draft ideas and problems. In a more intimate group, it is easier to have significant discussion. Most talks are 15 minutes with another 15 minutes or more of conversation. Some topics can't possibly be covered in that time, so there's a lot of flexibility.

Scheduled Meetings

  • October 17, 2017: 5pm - 7pm (continuing into dinner) at The Burren, 247 Elm Street, Somerville, MA

The Burren has beverage and food available. We'll be in the back room.

Agenda is under active development/confirmation:

Continuous Verification for Cryptographic Protocol Development by Andres Molina-Markham (30 mins)

Abstract: The proliferation of connected devices has motivated a surge in the development of cryptographic

protocols to support a diversity of devices and use cases. To address this trend, we propose continuous verification, a methodology for secure cryptographic protocol design that consists of three principles: (1) repeated use of verification tools; (2) judicious use of common message components; and (3) inclusion of verifiable model specifications in standards. Our recommendations are derived from previous work in the formal methods community, as well as from our past experiences applying verification tools to improve standards. Through a case study of IETF protocols for the IoT, we illustrate the power of continuous verification by (i) discovering flaws in the protocols using the Cryptographic Protocol Shapes Analyzer (CPSA); (ii) identifying the corresponding fixes based on the feedback provided by CPSA; and (iii) demonstrating that verifiable models can be intuitive, concise and suitable for inclusion in standards to enable third-party verification and future modifications.

  • Jan 16, 2018: 5pm - 7pm (spontaneous dinner afterwards) at 128 Technology, 200 Wheeler Rd, Burlington, MA 01803

Agenda: TBD

  • May 8, 2018: 5pm - 7pm (spontaneous dinner afterwards) at Akamai, 150 Broadway, Cambridge, MA 02142

Agenda: TBD