Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Carmit Hazay
Automata Evaluation and Text Search Protocols With Simulation-Based Security
Journal of Cryptology
Applied Mathematics
Computer Science Applications
Software
Efficient Protocols for Set Intersection and Pattern Matching With Security Against Malicious and Covert Adversaries
Related publications
From Security Protocols to Pushdown Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Internet Protocols With Input and Output Automata
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
VANET: Routing Protocols, Security Issues and Simulation Tools
IOSR Journal of Computer Engineering
Learning Automata-Based Polling Protocols for Wireless LANs
IEEE Transactions on Communications
Electronic Engineering
Electrical
Supporting Security Protocols on CAN-based Networks
Invariant-Based Reasoning About Parameterized Security Protocols
Formal Aspects of Computing
Theoretical Computer Science
Software
Reputation-Based Wi-Fi Deployment Protocols and Security Analysis
Formally-Based Black-Box Monitoring of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Special Issue on Simulation With Cellular Automata
Simulation
Computer Graphics
Simulation
Computer-Aided Design
Modeling
Mathematics
Software
