I have been nominated for a 2016–2017 Distinguished Teaching Award (DTA).
Next semester (Fall 2016) I am teaching COMPSCI 190D: Using Data Structures.
Next semester (Fall 2016) I am teaching COMPSCI 391L/591L: Computer Crime Law.
I will be joining the CICS faculty as a lecturer in Fall 2016.
I’ve joined the PETS 2017 TPC. The Privacy Enhancing Technologies Symposium is the premier venue for novel research on the theoretical and practical aspects of privacy technologies. Please submit your work! As of 2015, PETS has moved to an open-access journal/conference hybrid model. Articles are submitted for review to an issue of the PoPETs open-access journal, and accepted articles are made freely available online by De Gruyter: http://www.degruyter.com/view/j/popets. Since this change, we have seen an increase in the number and diversity of submissions.
UMass has been awarded an NSF CyberCorps® Scholarship for Service grant (DGE-1565521). In short, undergraduate or graduate students who are U.S. citizens or permanent residents and studying cybersecurity are eligible for tuition and fee waivers and generous stipends.
To apply, visit the UMass SFS page.
More information is available in the official press release.
I have been nominated for a 2015-2016 Distinguished Teaching Award (DTA), a campus-wide student-driven recognition of teaching, for my teaching of CMPSCI 187 last semester.
(DTA selection evaluations are only conducted when nominees teach during a Fall semester. I am not teaching this semester, so I must defer my nomination.)
Next semester (Spring 2016) I am tentatively scheduled to be the instructor for COMPSCI 290NW: A Networked World. Last offered in Fall 2014, COMPSCI 290NW is not intended for CS majors, but it is an excellent introduction to networking, the Internet, and related technologies for non-majors. It is of particular interest to students pursuing the IT minor and for (BDIC) Informatics majors. The College of Information and Computer Sciences handles course wait lists centrally.
Discovering Specification Violations in Networked Software Systems, written in collaboration with Robert Walls, Yuriy Brun, and Brian Levine, has been accepted to the IEEE International Symposium on Software Reliability Engineering. From the abstract: Publicly released software implementations of network protocols often have bugs that arise from latent specification violations. We present APE, a technique that explores program behavior to identify potential specification violations. APE overcomes the challenge of exploring the large space of behavior by dynamically inferring precise models of behavior, stimulating unobserved behavior likely to lead to violations, and refining the behavioral models with the new, stimulated behavior.