Guy Amir

Identifiers

• name variant Guy Amir 0.60 · backfill

Papers (5)

1. veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System cs.LO · 2026 · author #5
2. Agent Security is a Systems Problem cs.CR · 2026 · author #9
3. NEST: Network Enforced Session Types (Technical Report) cs.PL · 2026 · author #3
4. Formal Policy Enforcement for Real-World Agentic Systems cs.CR · 2026 · author #4
5. Analyzing Adversarial Inputs in Deep Reinforcement Learning cs.LG · 2024 · author #2

Mentions

• 2606.04121 #5 · arxiv_oai · confidence 0.70 Guy Amir
• 2605.18991 #9 · arxiv_oai · confidence 0.70 Guy Amir

Frequent Coauthors

• Guy Katz 2 shared papers
• Jihye Choi 2 shared papers
• Nils Palumbo 2 shared papers
• Sarthak Choudhary 2 shared papers
• Somesh Jha 2 shared papers
• Alceste Scalas 1 shared papers
• Alessandro Farinelli 1 shared papers
• Alon Zada 1 shared papers
• Andrey Labunets 1 shared papers
• Ashish Hooda 1 shared papers
• Davide Corsi 1 shared papers
• Earlence Fernandes 1 shared papers
• Elad Mandelbaum 1 shared papers
• Idan Refaeli 1 shared papers
• Itay Buchnik 1 shared papers
• Jana Wagemaker 1 shared papers
• Jens Kanstrup Larsen 1 shared papers
• Johann Rehberger 1 shared papers
• Jules Jacobs 1 shared papers
• Kamalika Chaudhuri 1 shared papers