Ethan Cecchetti
- System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective
2024/09/27 by Fangzhou Wu, Wu, Fangzhou, Ethan Cecchetti +3 · 23 citations
Computer Science · Engineering · #Security and Verification in Computing #Smart Grid Security and Resilience #Advanced Malware Detection Techniques
- Choreographic Quick Changes: First-Class Location (Set) Polymorphism
2025/06/12 by A.G. Samuelson, Samuelson, Ashley, Andrew K. Hirsch +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)