According to our database1, Amit Klein authored at least 13 papers between 1999 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Cross Layer Attacks and How to Use Them (for DNS Cache Poisoning, Device Tracking and More).
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
Proceedings of the IEEE Global Communications Conference, 2020
Proceedings of the CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, 2020
Proceedings of the 28th USENIX Security Symposium, 2019
Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
Proceedings of the 2017 IEEE Conference on Computer Communications, 2017
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.
Proceedings of the FM'99 - Formal Methods, 1999