| 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 | 237 | 2015 |
| 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 | 150 | 2016 |
| 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 | 61 | 2014 |
| 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 | 54 | 2017 |
| 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 | 39 | 2017 |
| 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 | 39 | 2013 |
| Controlling Module Authority Using Programming Language Design D Melicher Carnegie Mellon University, 2020 | 7 | 2020 |
| Making an Embedded DBMS JIT-friendly CF Bolz, D Kurilova, L Tratt European Conference on Object-Oriented Programming (ECOOP), 2016 | 7 | 2016 |
| On the simplicity of synthesizing linked data structure operations D Kurilova, D Rayside ACM SIGPLAN Notices 49 (3), 155-158, 2013 | 7 | 2013 |
| 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 | 6 | 2014 |
| 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 | 4 | 2018 |
| 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 | 4 | 2013 |
| 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 | 3 | 2022 |
| 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 | 3 | 2020 |
| 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 | 3 | 2016 |
| 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 | 3 | 2014 |
| Approximating Polymorphic Effects with Capabilities J Lubin, D Melicher, A Potanin, J Aldrich SPLASH, 2018 | 1 | 2018 |
| 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 | 1 | 2017 |
| 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 |
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Alex PotaninAssociate Professor, Australian National UniversityVerified email at anu.edu.au
Nicolas ChristinCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Michelle L. MazurekAssociate Professor, University of MarylandVerified email at umd.edu
Lujo BauerCarnegie Mellon UniversityVerified email at cmu.edu
Richard ShaySkyflowVerified email at richshay.com
Blase UrAssociate Professor, University of ChicagoVerified email at uchicago.edu
Lorrie Faith CranorFORE Systems Professor, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Benjamin ChungPostdoc, University of WashingtonVerified email at uw.eduCyrus OmarAssistant Professor, Computer Science and Engineering, University of MichiganVerified email at umich.edu
Pranshu KalvaniPrivacy Engineer, Carnegie Mellon UniversityVerified email at cmu.edu
Carl Friedrich Bolz-TereickHeinrich-Heine-Universität DüsseldorfVerified email at uni-duesseldorf.de
Valerie ZhaoVerified email at wellesley.edu
Laurence TrattSoftware Development Team, Informatics, King's College LondonVerified email at tratt.net
Derek RaysideUniversity of WaterlooVerified email at uwaterloo.ca
Justin LubinPhD candidate, UC BerkeleyVerified email at berkeley.edu
Ligia ConnollyOracleVerified email at oracle.com
