David Hauzar
Ph.D. student
David Hauzar

Contact information

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University in Prague, Czech Republic
Malostranské náměstí 25
118 00 Praha 1, Czech Republic

phone:  +420 2 2191 4285
fax:  +420 2 2191 4323
e-mail:  hauzar (at) d3s.mff.cuni.cz

Research interests and activities

  • Static program analysis, with focus on dynamic languages and web applications (see WeVerca project).

Publications

2015 (2)

Refereed (journals/proceedings)

Link, Link Šimko V., Hauzar D., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Textual Use-Cases,
The Computer Journal 58(7), pp. 1495-1529, doi:10.1093/comjnl/bxu068, July 2015
PDF Hauzar D., Kofroň J.: Framework for Static Analysis of PHP Applications,
In Proceedings of the 29th European Conference on Object-Oriented Programming (ECOOP 2015), July 2015

2014 (3)

Refereed (journals/proceedings)

PDF Hauzar D., Kofroň J., Baštecký P.: Data-flow Analysis of Programs with Associative Arrays,
In Proceedings of the International Workshop on Engineering Safety and Security Systems (ESSS'14), Singapore, EPTCS, May 2014
PDF Hauzar D., Kofroň J.: WeVerca: Web Applications Verification for PHP (Tool Paper),
In proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. LNCS, September 2014

Ph.D. Theses

PDF Hauzar D.: Towards Static Analysis of Languages with Dynamic Features,
Ph.D. thesis, advisor: František Plášil, September 2014

2012 (1)

Refereed (journals/proceedings)

PDF Hauzar D., Kofroň J.: On Security Analysis of PHP Web Applications,
In Proceedings of STPSA 2012, Izmir, Turkey. IEEE, July 2012

2011 (2)

Refereed (journals/proceedings)

PDF Šimko V., Hauzar D., Bureš T., Hnětynka P., Plášil F.: Verifying Temporal Properties of Use-Cases in Natural Language,
Postproceedings of 8th International Symposium on Formal Aspects of Component Software (FACS 2011) conference, Oslo, Norway, LNCS, Springer, September 2011

Technical Reports

PDF Hauzar D., Kofroň J.: Hunting Bugs Inside Web Applications,
Formal Verification of Object-Oriented Software, Technical report, Department of Informatics, KIT, 2011-26, October 2011

Teaching

Návrhy na studentské projekty, bakalářské a diplomové práce

  • Weverca (Web VERifiCAtion tool for PHP) - Ročníkové projekty, diplomové práce, softwarový projekt

    Weverca je nástroj pro hledání (bezpečnostních) chyb ve webových aplikacích napsaných v PHP. Nástroj je možné rozvíjet v rámci (softwarového projektu, ročníkových projektů a diplomových prací).

  • Práce z oblasti digitálního zpracování obrazu - ročníkové projekty

    Vylepšení fotografií, skládání různě exponovaných fotografií do jednoho, automatická registrace fotografíí a podobně.

  • Další ročníkové projekty

    Preferuji práce v programovacím jazyce Java (včetně J2ME).

Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2014-05-30