Portrait of Samin Ishtiaq

Samin Ishtiaq

Principal Research Software Development Engineer

About

Samin Ishtiaq is Principal Research Software Development Engineer in the Programming Principles and Tools group at Microsoft Research Cambridge. Samin currently works on the Everest verified HTTPS/TLS project; he previously worked on the SLAyer (Separation Logic-based static analysis tools for Windows device drivers), TERMINATOR (program termination tools for C programs), BMA
(verification and testing tools for gene regulatory networks) and SDV (C/C++ compiler, Windows device drivers, verification) projects.

Samin joined Microsoft Research in April 2008. Before that, during 2000-2008, he worked in CPU modeling and verification at ARM, helping to tape-out the Cortex A8, Cortex M3 and SC300 processors, and the AMBA bus protocol checker. Samin has an MEng from Imperial and a PhD in dependent type theory from Queen Mary.

The Ishtiaq-O’Hearn POPL’01 paper won the Most Influential POPL Paper Award for 2011. Samin was also one of the recipients of the CAV Award in 2016 on work that followed from that paper.

Projects

Project Everest – Verified Secure Implementations of the HTTPS Ecosystem

Established: May 31, 2016

Summary Project Everest aims to build and deploy a verified HTTPS stack. The HTTPS ecosystem (HTTPS and TLS protocols, X.509 public key infrastructure, crypto algorithms) is the foundation on which Internet security is built. Unfortunately, this ecosystem is extremely brittle, with headline-grabbing attacks such as FREAK and LogJam and emergency patches many times a year. Project Everest proposes to solve this problem by constructing a high-performance, standards-compliant, and verified implementation of the full HTTPS ecosystem. We…

Publications

2017

Everest: Towards a Verified, Drop-In Replacement of HTTPS
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Beguelin, Jean-Karim Zinzindohoué, in SNAPL 2017, May 2, 2017, View abstract, Download PDF, View external link

2016

2015

2014

2013

2012

2011

2009

2008

2007

2006

2001

2000

1999

1998

Projects

Downloads

SLAyer

December 2012

    Click the icon to access this download

  • Website