Galois (United States)

Recent papers from Galois (United States)

1. Identifying and Intervening on Glucose Patterns in Multivariate Data Using Block-Based Recurrence Quantification AnalysisJournal of Diabetes Science and Technology · 2025
2. Probing the Topology of the Space of Tokens with Structured PromptsMathematics · 2025
3. Cheesecloth: Zero-Knowledge Proofs of Real-World VulnerabilitiesACM Transactions on Privacy and Security · 2025
4. KATch: A Fast Symbolic Verifier for NetKATProceedings of the ACM on Programming Languages · 2024
5. Daedalus: Safer Document ParsingProceedings of the ACM on Programming Languages · 2024
6. Combining AI control systems and human decision support via robustness and criticality2024
7. Falsification using Reachability of Surrogate Koopman Models2024
8. Selective Run-Length Encoding2024
9. Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware VerificationACM Transactions on Cyber-Physical Systems · 2023
10. Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect DependenciesProceedings of the ACM on Programming Languages · 2023
11. Bring Your Own Data Structures to DatalogProceedings of the ACM on Programming Languages · 2023
12. BASALISC: Programmable Hardware Accelerator for BGV Fully Homomorphic EncryptionIACR Transactions on Cryptographic Hardware and Embedded Systems · 2023
13. Trustworthy Runtime Verification via Bisimulation (Experience Report)Proceedings of the ACM on Programming Languages · 2023
14. Contextual Linear Types for Differential PrivacyACM Transactions on Programming Languages and Systems · 2023
15. Revealing the Roles of Part-of-Speech Taggers in Alzheimer Disease Detection: Scientific Discovery Using One-Intervention Causal ExplanationJMIR Formative Research · 2022
16. Understanding the How and the Why2022
17. Solo: a lightweight static analysis for differential privacyProceedings of the ACM on Programming Languages · 2022
18. Security Foundations for Application-Based Covert Communication Channels2022
19. Capturing the iccMAX calculatorElement: A Case Study on Format Design2022
20. Formally Verifying Industry CryptographyIEEE Security & Privacy · 2022