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