News

Thu, 02/23/2017

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

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

Sat, 12/10/2016

Daniel elected ACM Fellow

Thu, 12/01/2016

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

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

Thu, 11/17/2016

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