Darya Melicher
Contact
5000 Forbes Avenue
Pittsburgh, PA 15213
- WEH 4126
5000 Forbes Avenue
Pittsburgh, PA 15213
Bio
I am a Software Engineering Ph.D. student at the Institute for Software Research that is a part of the School of Computer Science at Carnegie Mellon University. I am advised by Prof. Jonathan Aldrich.Research
Programming languages, security, and software engineering.Publications
- Diversify to Survive: Making Passwords Stronger with Adaptive Policies.
Sean M. Segreti, William Melicher, Saranga Komanduri, Darya Melicher, Richard Shay, Blase Ur, Lujo Bauer, Nicolas Christin, Lorrie Faith Cranor, and Michelle L. Mazurek.
Symposium on Usable Privacy and Security (SOUPS), 2017.
[Paper] [USENIX Open Access] [BibTeX] - A Capability-Based Module System for Authority Control.
Darya Melicher, Yangqingwei Shi, Alex Potanin, and Jonathan Aldrich.
European Conference on Object-Oriented Programming (ECOOP), 2017.
[Paper] [Technical Report] [DROPS] [BibTeX] [Artifact] [Slides] - Making an Embedded DBMS JIT-friendly.
Carl Friedrich Bolz, Darya Kurilova, and Laurence Tratt.
European Conference on Object-Oriented Programming (ECOOP), 2016.
[Paper] [DROPS] [BibTeX] [Artifact] - Usability and Security of Text Passwords on Mobile Devices.
William Melicher, Darya Kurilova, Sean M. Segreti, Pranshu Kalvani, Richard Shay, Blase Ur, Lujo Bauer, Nicolas Christin, Lorrie Faith Cranor, Michelle L. Mazurek.
Conference on Human Factors in Computing Systems (CHI), 2016.
[Paper] [ACM DL] [BibTeX] - Measuring Real-World Accuracies and Biases in Modeling Password Guessability.
Blase Ur, Sean M. Segreti, Lujo Bauer, Nicolas Christin, Lorrie Faith Cranor, Saranga Komanduri, Darya Kurilova, Michelle L. Mazurek, William Melicher, Richard Shay.
USENIX Security Symposium, 2015.
[Paper] [USENIX Open Access] [BibTeX] - Wyvern: Impacting Software Security via Programming Language Design.
Darya Kurilova, Alex Potanin, and Jonathan Aldrich.
Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), 2014.
[Paper] [ACM DL] [BibTeX] [Slides] - Safely Composable Type-Specific Languages.
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, and Jonathan Aldrich.
European Conference on Object-Oriented Programming (ECOOP), 2014.
Distinguished Paper Award
[Paper] [Technical Report] [Springer Link] [BibTeX] [Press Release] - Type-Specific Languages to Fight Injection Attacks.
Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, and Jonathan Aldrich.
Symposium and Bootcamp on the Science of Security (HotSoS), 2014.
[Paper] [ACM DL] [BibTeX] [Slides] [Poster] - On the Simplicity of Synthesizing Linked Data Structure Operations.
Darya Kurilova and Derek Rayside.
International Conference on Generative Programming: Concepts and Experiences (GPCE), 2013.
[Paper] [ACM DL] [BibTeX] [Slides] [Poster] - Wyvern: A Simple, Typed, and Pure Object-Oriented Language.
Ligia Nistor, Darya Kurilova, Stephanie Balzer, Benjamin Chung, Alex Potanin, and Jonathan Aldrich.
International Workshop on Mechanisms for Specialization, Generalization and Inheritance (MASPEGHI), 2013.
[Paper] [ACM DL] [BibTeX] [Slides] - Type-Directed, Whitespace-Delimited Parsing for Embedded DSLs.
Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, and Jonathan Aldrich.
International Workshop on the Globalization of Domain Specific Languages (GlobalDSL), 2013.
[Paper] [ACM DL] [BibTeX]