Amit Klein
发表
Amit Klein,
2004
.
Amir Pnueli,
Amit Klein,
Yonit Kesten,
1999
.
Benny Pinkas,
Amit Klein,
Benny Pinkas,
2019,
NDSS.
Amit Klein,
2022
.
Amit Klein,
Amit Klein,
2002
.
Benny Pinkas,
Amit Klein,
Benny Pinkas,
2019,
USENIX Security Symposium.
Haya Shulman,
Michael Waidner,
Amit Klein,
2017,
IEEE INFOCOM 2017 - IEEE Conference on Computer Communications.
Amir Pnueli,
Amit Klein,
Yonit Kesten,
1999,
World Congress on Formal Methods.
Amit Klein,
Amit Klein,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
Haya Shulman,
Michael Waidner,
Amit Klein,
2017,
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).