Munawar Hafiz

         Assistant Professor
         Department of Computer Science and Software Engineering

         Auburn University


        Email: munawar @t auburn _d0t edu

        Phone: 1-(334)-844-6348, Fax: 1-(334)-844-6329
[SATS Research Group]        [Publications]        [Teaching]         [CV/Resume]         [The lighter side]


I am a tenure track assistant professor at the Department of Computer Science and Software Engineering at Auburn University.

I lead the Software Analysis, Transformation, and Security (SATS) research group. Our focus is to understand software security problems through empirical studies and mitigate problems using program analysis and
program transformations techniques

I got my Ph.D. from University of Illinois at Urbana-Champaign in 2010. My PhD advisor was Ralph Johnson. 
My Ph.D. dissertation describes how one can think about applying security solutions in terms of automated, general purpose program transformations; I call them security-oriented program transformations.

My research is supported by grants from National Science Foundation (NSF) and Auburn University Startup Fund.



Two of my projects:

OpenRefactory/C: A framework for building program transformations for C programs.

Security Pattern Catalog: The most comprehensive work on cataloging and organizing security patterns.

News

05/13 - Zack Coker from my Group wins
the ACM SRC Grand Finals 2013 in undergrad category. Earlier, he won the ACM SRC at SPLASH 2012.

04/13 - NSF REU Supplements Award ($14K) for work on OpenRefactory/C.

03/13 - Paper accepted at ECOOP 2013.
Link to Testing Refactoring Project.

12/12 - Paper accepted at ICST 2013.
Link to R2Fix Project.

11/12 - Paper accepted at ICSE 2013.
Link to Integer Problems Project.

09/12 - Two year, single-PI NSF Award ($395K).

 


SATS (Software Analysis, Transformation, and Security) Research Group

 

Security Problems of C/C++/Java/Javascript Programs, Program Analysis, Program Transformation, Security Pattern, Software Architecture,

Pattern Language, Empirical Studies to Understand Security Problems, Privacy Pattern, Web Services.


Current Research Projects

    1. Program Transformations to Fix Integer Problems

    2. OpenRefactory/C: Program Transformations Framework for C

    3. Applying Machine Learning to Create Patches from Free Form Bug Reports (Collaboration with Lin Tan, Univ of Waterloo)

    4. Testing with Real Software. (Collaboration with Darko Marinov, UIUC)

    5. Security-oriented Program Transformations

    6. Security Patterns and Pattern Language (Link to Catalog of Security Patterns)

    7. The Science of Security Engineering

    8. Javascript: The Used Parts

    9. Privay in Social Media


                                                      SATS Research Group, Oct 2012

 People

    1. Dr. Jeffrey Overbey, Research Assistant Professor, Auburn University

    2. Xuechao Li, Grad

    3. Farnaz Behrang, Grad

    4. Dusten Doggett, Grad

    5. Ming Fang, Grad

    6. Sharath Chowdary Gude, Grad

    7. Yasmeen Rawajfih, Grad

    8. Zack Coker, Undergrad

    9. Joel Eichelkraut, Graduated. Currently at: Harris Corporation.




I am looking for motivated graduate (mainly Ph.D.) and undergraduate students to join my group. 

If interested, email your CV and research interest.


Past Projects


Selected Publications

1.  Z. Coker and M. Hafiz. Program Transformations to Fix C Integers. To Appear at the 35th International Conference of Software Engineering (ICSE 2013), San Francisco, CA, May 2013. [Acceptance Rate: 85/461 (18.5%)]

2.  C. Liu, J. Yang, L. Tan and M. Hafiz. R2Fix: Automatically Generating Bug Fixes from Bug Reports. To appear at ICST 2013, Luxembourg, March 2013. [Acceptance Rate: 38/152 (25%)]

3. M. Hafiz, P. Adamczyk, and R. Johnson. Growing a Pattern Language (for Security). In OOPSLA12: Proceedings of the ACM International Conference on Object-oriented  Programming Systems Languages and Applications. Tucson, AZ. Oct, 2012. [Acceptance Rate: 11/43 (26%)]

4.  M. Hafiz. A Pattern Language for Developing Privacy Enhancing Technologies. To be published in Software---Practice and Experience, 2012.

5.  M. Hafiz, P. Adamczyk and R. Johnson. Patterns Transform Architecture. In Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, WICSA 2011, Boulder, CO, USA, Jun 2011. [Acceptance Rate: 33/71 (46%)]

6.  P. Adamczyk, P. Smith, R. Johnson and M. Hafiz. REST and Web Services: In Theory and In Practice. Book Chapter in REST: From Research to Practice, Springer, 2011.

7.  P. Adamczyk and M. Hafiz. The Tower of Babel Did Not Fail. In OOPSLA10: Proceedings of the ACM International Conference on Object-oriented  Programming Systems Languages and Applications, pp. 947-957. Reno, NV. Oct, 2010. [Acceptance Rate: 3/14 (21%)]

8.  M. Hafiz, P. Adamczyk and R. Johnson. Systematically Eradicating Data Injection Attacks using Security-oriented Program Transformations. In ESSoS09: Symposium on Engineering Secure Software and Systems. Leuven, Belgium. Feb, 2009. [Acceptance Rate: 9/52 (17%)]

9.  M. Hafiz and R. Johnson. Evolution of the MTA Architecture: An Impact of Security. Software---Practice and Experience, 38(15):1569-1599, Dec 2008.

10.  M. Hafiz, P. Adamczyk and R. Johnson. Organizing Security Patterns. IEEE Software. 24(4) pp 52-60. Jul/Aug 2007.

11.  R. Afandi, J. Zhang, M. Hafiz and C. Gunter. AMPol: Adaptive Messaging Policy. In ECOWS06: European Conference on Web Services, pp. 53-64. Dec 2006. [Acceptance Rate: 24/115 (20%)]

 

Complete list of Publications and Download Links

 

 

Teaching

*  COMP 3700: Software Modeling and Design, Fall 2012.

*  COMP 7970: Program Analysis and Transformation for Application Security, Spring 2012.

*  COMP 3700: Software Modeling and Design, Fall 2011.


I have taught half-day tutorials 3 times at OOPSLA (2006, 2007, 2008) to an industry audience.

 

 

Resume and CV

Link to my CV.

Link to my one page Resume. (Not current)


Professional Activities

PC Member, COMPSAC 2012, SESS 2010-2012, ACM SE 2012

Member, Poster and SRC Committee, OOPSLA/SPLASH, 2011-2012

Editorial Review Board, International Journal on Secure Software Engineering (IJSSE), 2009-2011.

Reviewer: IEEE Software, Software: Practice and Experience, Journal of Systems and Software, IEEE Transactions on Services Computing,

                   Computer and Security, LNCS Transactions on Pattern Languages of Programming (TPLoP), Communications of The ACM

Member, Hillside Group


 

 

The Lighter Side

 

I am learning to be a photographer. I have a Nikon D80 digital SLR and a few decent glasses. You can find some of my exposures at my photo blog and my flickr page. 


My photography has been featured in The Mindful Eye, one of the premiere sites on photography. Here is a link to the photograph that was featured in a webcast. You can download the video from here (13MB, mov format).

 

I used to have a conventional blog, where I wrote about the non-serious aspects of my life. I don't maintain that anymore. It is instead a honeypot for all things spam... I am "seriously" considering to start a "serious" blog about my experiences in software engineering, security, or perhaps computer science in general; someday, I will start that. 

 

I am married to Farhana Ashraf. She is a Ph.D. student at UIUC. 

 

More about my life. 

 

Last modified:  May 30, 2013

Conceived and Maintained by: Munawar Hafiz