Amit Klein

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 16

Top Topics

State Information

Fluoroscopic Images

Coloured Petri Nets

Selection Algorithm

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Moshe Kol, Amit Klein, Yossi Gilad
Device Tracking via Linux's New TCP Source Port Selection Algorithm. USENIX Security Symposium (2023)
Moshe Kol, Amit Klein, Yossi Gilad
Device Tracking via Linux's New TCP Source Port Selection Algorithm (Extended Version). CoRR (2022)
Amit Klein
Subverting Stateful Firewalls with Protocol States. NDSS (2022)
Amit Klein
Cross Layer Attacks and How to Use Them (for DNS Cache Poisoning, Device Tracking and More). IEEE Symposium on Security and Privacy (2021)
Amit Klein
Subverting Stateful Firewalls with Protocol States (Extended Version). CoRR (2021)
Jonathan Berger, Amit Klein, Benny Pinkas
Flaw Label: Exploiting IPv6 Flow Label. IEEE Symposium on Security and Privacy (2020)
Amit Klein
Cross Layer Attacks and How to Use Them (for DNS Cache Poisoning, Device Tracking and More). CoRR (2020)
Amit Klein, Haya Shulman, Michael Waidner
Cryptanalysis of FNV-Based Cookies. GLOBECOM (2020)
Amit Klein, Elias Heftrig, Haya Shulman, Michael Waidner
Black-box caches fingerprinting. CoNEXT (2020)
Amit Klein, Benny Pinkas
From IP ID to Device ID and KASLR Bypass (Extended Version). CoRR (2019)
Amit Klein, Benny Pinkas
From IP ID to Device ID and KASLR Bypass. USENIX Security Symposium (2019)
Amit Klein, Benny Pinkas
DNS Cache-Based User Tracking. NDSS (2019)
Markus Brandt, Tianxiang Dai, Amit Klein, Haya Shulman, Michael Waidner
Domain Validation++ For MitM-Resilient PKI. CCS (2018)
Amit Klein, Haya Shulman, Michael Waidner
Counting in the Dark: DNS Caches Discovery and Enumeration in the Internet. DSN (2017)
Amit Klein, Haya Shulman, Michael Waidner
Internet-wide study of DNS cache injections. INFOCOM (2017)
Amit Klein, Vladimir Kravtsov, Alon Perlmuter, Haya Shulman, Michael Waidner
POSTER: X-Ray Your DNS. CCS (2017)
Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software. World Congress on Formal Methods (1999)