Takip et
Darya Melicher
Darya Melicher
Bilinmeyen bağlantı
cs.cmu.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Measuring real-world accuracies and biases in modeling password guessability
B Ur, SM Segreti, L Bauer, N Christin, LF Cranor, S Komanduri, D Kurilova, ...
24th {USENIX} Security Symposium ({USENIX} Security 15), 463-481, 2015
2332015
Usability and security of text passwords on mobile devices
W Melicher, D Kurilova, SM Segreti, P Kalvani, R Shay, B Ur, L Bauer, ...
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems …, 2016
1512016
Safely composable type-specific languages
C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich
European Conference on Object-Oriented Programming, 105-130, 2014
602014
Diversify to survive: Making passwords stronger with adaptive policies
SM Segreti, W Melicher, S Komanduri, D Melicher, R Shay, B Ur, L Bauer, ...
Thirteenth symposium on usable privacy and security (SOUPS 2017), 1-12, 2017
532017
A Capability-Based Module System for Authority Control
D Melicher, Y Shi, A Potanin, J Aldrich
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
372017
Wyvern: A simple, typed, and pure object-oriented language
L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich
Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013
372013
Controlling Module Authority Using Programming Language Design
D Melicher
Carnegie Mellon University, 2020
72020
Making an Embedded DBMS JIT-friendly
CF Bolz, D Kurilova, L Tratt
European Conference on Object-Oriented Programming (ECOOP), 2016
72016
On the simplicity of synthesizing linked data structure operations
D Kurilova, D Rayside
ACM SIGPLAN Notices 49 (3), 155-158, 2013
72013
Wyvern: Impacting Software Security via Programming Language Design
D Kurilova, A Potanin, J Aldrich
Proceedings of the 5th Workshop on Evaluation and Usability of Programming …, 2014
62014
Using object capabilities and effects to build an authority-safe module system: poster
D Melicher, Y Shi, V Zhao, A Potanin, J Aldrich
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the …, 2018
42018
Type-directed, whitespace-delimited parsing for embedded DSLs
C Omar, B Chung, D Kurilova, A Potanin, J Aldrich
Proceedings of the First Workshop on the Globalization of Domain Specific …, 2013
42013
Bounded Abstract Effects
D Melicher, A Xu, V Zhao, A Potanin, J Aldrich
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (1), 1-48, 2022
32022
Modules in Wyvern: Advanced Control over Security and Privacy
D Kurilova, A Potanin, J Aldrich
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016
32016
A case study in language-based security: building an I/O library for Wyvern
JA Fish, D Melicher, J Aldrich
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
22020
Type-specific languages to fight injection attacks
D Kurilova, C Omar, L Nistor, B Chung, A Potanin, J Aldrich
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 1-2, 2014
22014
Approximating Polymorphic Effects with Capabilities
J Lubin, D Melicher, A Potanin, J Aldrich
SPLASH, 2018
12018
A Capability-Based Module System for Authority Control (Artifact)
D Melicher, Y Shi, A Potanin, J Aldrich
European Conference on Object-Oriented Programming (ECOOP), 2017
12017
A Capability-Based Module System for Authority Control (Technical Report)
D Melicher, Y Shi, A Potanin, J Aldrich
2017
31st European Conference on Object-Oriented Programming (ECOOP 2017)
W Schulte, G Bracha, R Tate, TA Anderson, H Liu, L Kuper, E Totoni, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
2017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20