Awesome Cybersecurity

📄Papers 🧭Topics 🔥Trending 🗺️Map 🏆Leaderboards 🎓Learn 🤖Ask AI

⋯More

👥Authors 📚Reading Packs 📊Datasets 🛠️Tools 📰News 📝Blogs ✉️Newsletter 🎯Research Radar 🔖Saved

← authors · overview

Loading author…

Stay Updated

E-Mail Digest 🎯 Research Radar

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Guy Amir — most-cited papers & profile · Cybersecurity

← authors · overview

Guy Amir

2 papers · 1 citations

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

An SMT-Based Approach for Verifying Binarized Neural Networks
2020 · 1 citations
Agent Security is a Systems Problem
2026

Topics

Browser Agents cs.CR Safety Software Engineering Testing