According to our database1, Amit Klein authored at least 9 papers between 1999 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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, CCS 2017, Dallas, TX, USA, October 30, 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