News

Eunsuk blog post
Thu, 02/23/2017

Eunsuk invited to write a blog post about his thesis work for IEEE Software

Security Workshop
Wed, 02/01/2017

Daniel ran a three-day workshop on security-by-design during IAP with Nickolai Zeldovich
for 30 Accenture software architects from around the world

Daniel Jackson, ACM Fellow
Sat, 12/10/2016

Daniel elected ACM Fellow

Distinguished lectures
Thu, 12/01/2016

Daniel gave distinguished lectures at UIUC and UMass Amherst (Nov 2016)

Distinguished paper
Thu, 11/17/2016

Recent SDG alum Eunsuk Kang won an ACM Distinguished Paper Award for a paper on design-level security analysis based on his thesis work

Keynote at FSE
Thu, 11/17/2016

Daniel gave an award keynote at FSE in Seattle with Mandana Vaziri, following their...