| A language for probabilistically oblivious computation D Darais, I Sweet, C Liu, M Hicks Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019 | 32 | 2019 |
| Achieving safety incrementally with Checked C A Ruef, L Lampropoulos, I Sweet, D Tarditi, M Hicks Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019 | 28 | 2019 |
| What’s the over/under? probabilistic bounds on information leakage I Sweet, JMC Trilla, C Scherrer, M Hicks, S Magill Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018 | 11 | 2018 |
| Symphony: Expressive secure multiparty computation with coordination I Sweet, D Darais, D Heath, W Harris, R Estes, M Hicks arXiv preprint arXiv:2302.10076, 2023 | 6 | 2023 |
| Symphony: A concise language model for MPC I Sweet, D Darais, D Heath, R Estes, W Harris, M Hicks Informal Proceedings of the Workshop on Foundations on Computer Secuirty (FCS), 2021 | 2 | 2021 |
| Automated generation of source code models from machine code for code analysis MW Hicks, BS Lavender, A Mamat, IN Sweet US Patent 11,321,218, 2022 | 1 | 2022 |
| Checked C for Safety, Gradually A Ruef, AS Elliott, I Sweet, M Hicks, D Tarditi Draft. Nov 17, 2017 | 1 | 2017 |
| Language-Based Techniques for Secure Programming I Sweet University of Maryland, College Park, 2022 | | 2022 |
| Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy JMC Trilla, M Hicks, S Magill, P Mardziel, I Sweet Foundations of Probabilistic Programming, 361, 2020 | | 2020 |
| Short Paper: Probabilistically Almost-Oblivious Computation I Sweet, D Darais, M Hicks Proceedings of the 15th Workshop on Programming Languages and Analysis for …, 2020 | | 2020 |
| S: Expressive Secure Multiparty Computation with Coordination I Sweet, D Darais, D Heath, W Harris, R Estes, M Hicks | | |
| Probabilistically Almost-Oblivious Computation I Sweet, D Darais, M Hicks | | |
