Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2020 | Indifferentiability for Public Key Cryptosystems | Zhandry, Mark; Zhang, Cong |
Jan-2016 | Example-directed synthesis: a type-theoretic interpretation | Frankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve |
2017 | Bioinformatics Approaches to Profile the Tumor Microenvironment for Immunotherapeutic Discovery | Clancy, Trevor; Dannenfelser, Ruth; Troyanskaya, Olga; Malmberg, Karl J; Hovig, Eivind, et al |
2018 | The menu complexity of “one-and-a-half-dimensional” mechanism design | Saxena, Raghuvansh R; Schvartzman, Ariel; Weinberg, S Matthew |
Dec-2018 | Cutting-edge cryptography through the lens of secret sharing | Komargodski, Ilan; Zhandry, Mark |
Aug-2014 | Concurrent NetCore: from policies to pipelines | Schlesinger, Cole; Greenberg, Michael; Walker, David |
2018 | The Sample Complexity of Up-to-ε Multi-Dimensional Revenue Maximization | Gonczarowski, Yannai A; Weinberg, S Matthew |
2018 | Serum cytokine levels in breast cancer patients during neoadjuvant treatment with bevacizumab | Jabeen, Shakila; Zucknick, Manuela; Nome, Marianne; Dannenfelser, Ruth; Fleischer, Thomas, et al |
2016 | How to Generate and Use Universal Samplers | Hofheinz, Dennis; Jager, Tibor; Khurana, Dakshita; Sahai, Amit; Waters, Brent, et al |
2019 | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement | Giannarakis, Nick; Beckett, Ryan; Mahajan, Ratul; Walker, David |