abdulbaki aydın

baki [at] cs [.] ucsb [.] edu

Hello, I am a PhD candidate in Computer Science department at University of California, Santa Barbara (UCSB). I am a member of Verification Lab where I am being advised by Prof. Tevfik Bultan. Before joining UCSB, I received my Bachelor degrees in Computer Engineering and Electric-Electronics Engineering (double major) from Fatih University in 2009. I spent two years in software development after my graduation.

My current research interests are automated software verification, automated testing, software security, string analysis and model driven development. My recent work focuses on analysis of web applications using automata based symbolic string execution techniques for several purposes such as security, web application dependability. My recent work also involves analysis of mobile applications for user privacy concerns.

Other than research and development, I enjoy playing soccer, surfing (need more practice), traveling around, and exploring new places with my wife Yasemin.

Learn about my research

Software Engineering Research

I want to improve software dependability, security... and developer productivity

Automated
Verification

Does my code have bugs? Is it doing what I am intended to do?

Automated
Testing

Less manual effort, less time... How is that possible for testing?

String Analysis

What does your application do with input strings? Can it handle them in a secure way?

Model Driven Development

Can we have better abstractions with verification in mind?

Publications

More coming soon...
  • Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan: Semantic Differential Repair for Input Validation and Sanitization.

    Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA 2014), pages 225-236, San Jose, California, USA, July 21-25, 2014.

  • Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan: Automated Test Generation from Vulnerability Signatures.

    Proceedings of the 7th International Conference on Software Testing, Verification and Validation (ICST 2014), pages 193-202, Cleveland, Ohio, USA, March 31-April 4, 2014.

Workshops

  • Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan: Automated Test Generation from Vulnerability Signatures.

    Graduate Student Workshop (GSWC 2014), Santa Barbara, CA, USA, Oct 10, 2014. *Best paper award receiver

  • Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan: Differential Patching of Input Validation in Web Apps.

    SoCal Programming Languages and Systems Workshop (SoCal 2013), Santa Barbara, CA, USA, May 4, 2013.

  • Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan: Automated Test Generation from Vulnerability Signatures.

    SoCal Programming Languages and Systems Workshop (SoCal 2013), Santa Barbara, CA, USA, May 4, 2013.

Resume

Education
  • Ph.D. Computer Science, University of California Santa Barbara, CA, USA June 2016 (expected)
    • Advanced Topics in Security (CMPSC 279)
    • Scalable Internet Services (CMPSC 290B)
    • Advanced Computer Architecture (CMPSC 254)
    • Database Systems (CMPSC 274)
    • Modern Programming Languages and Their Implementations (CMPSC 263)
    • Automated Verification (CMPSC 267)
    • Software Engineering (CMPSC 272)
    • Formal Modals for Web Software (CMPSC 290C)
  • B.S. Computer Engineering, Fatih University, Istanbul, Turkey 3.97/4.00 - July 2009
  • B.S. Electric-Electronics Engineering, Fatih University, Istanbul, Turkey (double major) - July 2009
Professional Experience
  • Research Assistant, Verification Lab., University of California Santa Barbara Sep 2012 - Present
    I am a member of Verification Lab where I am being advised by Prof. Tevfik Bultan. My main research interests are automated verification, automated testing, and model driven development with verification in mind. My recent research focuses on analysis of web applications using automata based symbolic string execution techniques for several purposes such as security, web application dependability. Currently, I am working on differential analysis of web applications for patching validation and/or sanitization routines.
  • Research Intern, IBM T.J. Watson Research Center June 2014 - Sep 2014
    Popular mobile application platforms have limited supports for user privacy. The current permission system is not at the level of desired granularity. For example, an application can share privacy sensitive data with third parties once it has permissions to access to the data. My research at IBM aims to provide a user-friendly fine-grained permission control on privacy sensitive data usages which prevents undesired data usages. It can be summarized in three main phase: (1) identification of privacy sensitive data usages, (2) fine-grained configuration of privacy sensitive data usages via a user-friendly interface, (3) enforcement of fine-grained configurations without any degradation of application functionality.
  • Software Engineering Intern, Appfolio Inc June 2013 - Sep 2013
    Experience: Test Driven Development, Pair Programming, Scrum, Agile Development
    Developed new software components and made improvements for a secure virtual data room solution called SecureDocs. Used BackboneJS for client side development and Ruby on Rails for server side development.
  • Teaching Assistant, University of California Santa Barbara Fall'11, Winter'12, Spring'12, Winter'13
    • Data Structures and Algorithms (CMPSC 130A)
    • Translation of Programming Languages (CMPSC 160)*
    • Introduction to Cryptography (CMPSC 178)
    • * Outstanding Teaching Assistant award received
  • Software Developer, Hewlett-Packard July 2009 - August 2011
    Developed several software components using various programming languages and technologies. (ActionScript, PHP, C#, Java, XSLT, Web Services...)
Computer Skills
  • C, C++, Java, PHP, JavaScript, Ruby, Python
  • MVC frameworks; Backbone, Ruby on Rails
  • XML, HTML, CSS, XSLT, SQL
  • Linux, Windows
  • Knowledge on verification tools and languages
Language Skills
  • Turkish - Mother tongue
  • English - Advanced
  • Spanish - Basic


Personal Skills
  • Self-motivated and have self-learning skills
  • Ability to work in a fast paced and dynamic environment
  • Passion to continuously learn and improve
Interests
  • Playing soccer, Surfing, Ping-pong
  • Travelling, Nature
  • History, Biographies
Honors & Awards
  • Best Paper Award, Graduate Student Workshop (GSWC 2014) 2014
  • Outstanding Teaching Assistant, University of California Santa Barbara Winter 2013
  • High Honor, Fatih University 2004 - 2009
  • First Double Major Graduate, Fatih University July 2009
  • Ranked in first 100 among 1.5 million students in the National University Entrance Exam 2006
  • Ranked as 253rd among 1.5 million students in the National University Entrance Exam 2004
* References available upon request

baki [at] cs [.] ucsb [.] edu