Darya Melicher

According to our database, Darya Melicher authored at least 7 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Bounded Abstract Effects.

Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2022

2020

Controlling Module Authority Using Programming Language Design.

Darya Melicher

PhD thesis, 2020

A case study in language-based security: building an I/O library for Wyvern.

Jennifer A. Fish, Darya Melicher, Jonathan Aldrich

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2018

Using object capabilities and effects to build an authority-safe module system: poster.

Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

2017

A Capability-Based Module System for Authority Control (Artifact).

Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich

Dagstuhl Artifacts Ser., 2017

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, Michelle L. Mazurek

Proceedings of the Thirteenth Symposium on Usable Privacy and Security, 2017

A Capability-Based Module System for Authority Control.

Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017