Applied Logic and Security Lab

WPI Department of Computer Science, Fuller Labs room 223

The ALAS lab explores various problems related to logic, software engineering, software verification, security, and programming languages. We write formal models to make sense of computing problems, figure out how to describe complex system behaviors in useful ways as programs and for human end users, and build software tools that make programs more reliable and secure.

Group Meetings (all are welcome): Meetings for the fall semester 2009 will be arranged soon

• Professor Dan Dougherty
• Professor Kathi Fisler
• Professor Joshua Guttman
• Ken Breeman (PhD student)
• Yu Feng (PhD student)
• Theophilos Giannakopoulos (MS student)
• Guillaume Marceau (PhD student)
• Tim Nelson (PhD student)
• Danny Yoo (PhD student)

• An improved algorithm for generating database transactions from relational algebra specifications. Daniel J.Dougherty. In Proc. 10th International Workshop on Rule-Based Programming (RULE), 2009.
• Towards an operational semantics for Alloy. Theophilos Giannakopoulos, Daniel J.Dougherty, Kathi Fisler, and Shriram Krishnamurthi. In Proc. 16th International Symposium on Formal Methods, 2009.
• Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008). Daniel J. Dougherty and Santiago Escobar, editors. Volume 234 of Electronic Notes in Theoretical Computer Science, 2009.
• Alchemy: Transmuting Base Alloy Specifications into Implementations Shriram Krishnamurthi, Daniel J. Dougherty, Kathi Fisler, and Daniel Yoo. ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE). November 2008.
• Two-Dimensional Regular Expressions for Compositional Bus Protocols (short paper). Kathi Fisler. International Conference on Formal Methods in Computer-Aided Design (FMCAD). November 2007.
• Obligations and their Interaction with Programs. Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. European Symposium on Research in Computer Security (ESORICS), September 2007.
• Modular access control via strategic rewriting. Daniel J. Dougherty, Claude Kirchner, Helene Kirchner, and Anderson Santana de Oliveira. Modular access control via strategic rewriting. European Symposium On Research In Computer Security (ESORICS), September 2007.
• Specifying and Reasoning about Dynamic Access Control Policies. Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. International Joint Conference on Automated Reasoning (IJCAR), August 2006.
• Verification and Change Impact Analysis of Access-Control Policies. Kathi Fisler, Shriram Krishnamurthi, Leo Meyerovich, and Michael Tschantz. International Conference on Software Engineering (ICSE), May 2005.