Ian Sweet

According to our database, Ian Sweet authored at least 8 papers between 2018 and 2025.

Collaborative distances:

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

2025

Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities.

Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Ian Sweet, Eran Tromer

ACM Trans. Priv. Secur., November, 2025

2023

Symphony: Expressive Secure Multiparty Computation with Coordination.

Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks

Art Sci. Eng. Program., February, 2023

2022

Language-Based Techniques for Secure Programming.

Ian Sweet

PhD thesis, 2022

2020

A language for probabilistically oblivious computation.

David Darais, Ian Sweet, Chang Liu, Michael Hicks

Proc. ACM Program. Lang., 2020

Short Paper: Probabilistically Almost-Oblivious Computation.

Ian Sweet, David Darais, Michael Hicks

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy.

José Manuel Calderón Trilla, Michael Hicks, Stephen Magill, Piotr Mardziel, Ian Sweet

Proceedings of the Foundations of Probabilistic Programming, 2020

2019

Achieving Safety Incrementally with Checked C.

Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

2018

What's the Over/Under? Probabilistic Bounds on Information Leakage.

Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018