Research output per year
Research output per year
Research output
- 12 results
Search results
-
2023
Device Tracking via Linux's New TCP Source Port Selection Algorithm
Kol, M., Klein, A. & Gilad, Y., 2023, 32nd USENIX Security Symposium, USENIX Security 2023. USENIX Association, p. 6167-6184 18 p. (32nd USENIX Security Symposium, USENIX Security 2023; vol. 9).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2022
Subverting Stateful Firewalls with Protocol States
Klein, A., 2022, 29th Annual Network and Distributed System Security Symposium, NDSS 2022. The Internet Society, (29th Annual Network and Distributed System Security Symposium, NDSS 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access2 Scopus citations -
2021
Cross layer attacks and how to use them (for DNS Cache Poisoning, Device Tracking and More)
Klein, A., May 2021, Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021. Institute of Electrical and Electronics Engineers Inc., p. 1179-1196 18 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2021-May).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access9 Scopus citations -
2020
Black-box caches fingerprinting
Klein, A., Heftrig, E., Shulman, H. & Waidner, M., 23 Nov 2020, CoNEXT 2020 - Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies. Association for Computing Machinery, Inc, p. 564-565 2 p. (CoNEXT 2020 - Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Flaw Label: Exploiting IPv6 Flow Label
Berger, J., Klein, A. & Pinkas, B., May 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers Inc., p. 1259-1276 18 p. 9152759. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2020-May).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access9 Scopus citations -
2019
DNS Cache-Based User Tracking
Klein, A. & Pinkas, B., 2019, 26th Annual Network and Distributed System Security Symposium, NDSS 2019. The Internet Society, (26th Annual Network and Distributed System Security Symposium, NDSS 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access24 Scopus citations -
From IP ID to device ID and KASLR bypass
Klein, A. & Pinkas, B., 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, p. 1063-1080 18 p. (Proceedings of the 28th USENIX Security Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
21 Scopus citations -
2018
Domain Validation++ for MitM-resilient PKI
Brandt, M., Dai, T., Shulman, H., Klein, A. & Waidner, M., 15 Oct 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2060-2076 17 p. (Proceedings of the ACM Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
57 Scopus citations -
2017
Counting in the Dark: DNS Caches Discovery and Enumeration in the Internet
Klein, A., Shulman, H. & Waidner, M., 30 Aug 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. Institute of Electrical and Electronics Engineers Inc., p. 367-378 12 p. 8023137. (Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
15 Scopus citations -
Internet-wide study of DNS cache injections
Klein, A., Shulman, H. & Waidner, M., 2 Oct 2017, INFOCOM 2017 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., 8057202. (Proceedings - IEEE INFOCOM).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
46 Scopus citations -
Poster: X-Ray your DNS
Klein, A., Kravtsov, V., Perlmuter, A., Shulman, H. & Waidner, M., 30 Oct 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2519-2521 3 p. (Proceedings of the ACM Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
1999
A perfecto verification: Combining model checking with deductive analysis to verify real-life software
Kesten, Y., Klein, A., Pnueli, A. & Raanan, G., 1999, FM 1999 – Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Wing, J. M., Woodcock, J. & Davies, J. (eds.). Springer Verlag, p. 173-194 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1708).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access7 Scopus citations