School of Computer Science

Filter
Conference contribution

Search results

  • 2025

    All-Hops Shortest Paths

    Williams, V. V., Xi, Z., Xu, Y. & Zwick, U., 2025, Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2025. Association for Computing Machinery, p. 5191-5206 16 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 8).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Be Yourself: Bounded Attention for Multi-subject Text-to-Image Generation

    Dahary, O., Patashnik, O., Aberman, K. & Cohen-Or, D., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 432-448 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15072 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • EgoPet: Egomotion and Interaction Data from an Animal’s Perspective

    Bar, A., Bakhtiar, A., Tran, D., Loquercio, A., Rajasegaran, J., LeCun, Y., Globerson, A. & Darrell, T., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 377-394 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15095 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Fast Attack Graph Defense Localization via Bisimulation

    Busany, N., Shalom, R., Klein, D. & Maoz, S., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 245-263 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14933 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Finding Visual Task Vectors

    Hojel, A., Bai, Y., Darrell, T., Globerson, A. & Bar, A., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 257-273 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15101 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Implicit Style-Content Separation Using B-LoRA

    Frenkel, Y., Vinker, Y., Shamir, A. & Cohen-Or, D., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 181-198 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15068 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Lazy Diffusion Transformer for Interactive Image Editing

    Nitzan, Y., Wu, Z., Zhang, R., Shechtman, E., Cohen-Or, D., Park, T. & Gharbi, M., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 55-72 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15082 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • LCM-Lookahead for Encoder-Based Text-to-Image Personalization

    Gal, R., Lichter, O., Richardson, E., Patashnik, O., Bermano, A. H., Chechik, G. & Cohen-Or, D., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 322-340 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15072 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Mismatch Quest: Visual and Textual Feedback for Image-Text Misalignment

    Gordon, B., Bitton, Y., Shafir, Y., Garg, R., Chen, X., Lischinski, D., Cohen-Or, D. & Szpektor, I., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 310-328 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15115 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • New Approximation Algorithms and Reductions for n-Pairs Shortest Paths and All-Nodes Shortest Cycles

    Chechik, S., Hoch, I. & Lifshitz, G., 2025, Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2025. Association for Computing Machinery, p. 5207-5238 32 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 8).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Quantum Simultaneous Protocols Without Public Coins Using Modified Equality Queries

    Gall, F. L., Nadler, O., Nishimura, H. & Oshman, R., 8 Jan 2025, 28th International Conference on Principles of Distributed Systems, OPODIS 2024. Bonomi, S., Galletta, L., Riviere, E. & Schiavoni, V. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 34. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 324).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • ReNoise: Real Image Inversion Through Iterative Noising

    Garibi, D., Patashnik, O., Voynov, A., Averbuch-Elor, H. & Cohen-Or, D., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 395-413 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15072 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2024

    Accessorize in the Dark: A Security Analysis of Near-Infrared Face Recognition

    Cohen, A. & Sharif, M., 2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 43-61 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14346 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains

    Jacovi, A., Bitton, Y., Bohnet, B., Herzig, J., Honovich, O., Tseng, M., Collins, M., Aharoni, R. & Geva, M., 2024, Long Papers. Ku, L.-W., Martins, A. F. T. & Srikumar, V. (eds.). Association for Computational Linguistics (ACL), p. 4615-4634 20 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A Denotational Approach to Release/Acquire Concurrency

    Dvir, Y., Kammar, O. & Lahav, O., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, p. 121-149 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • A Direct PRF Construction from Kolmogorov Complexity

    Liu, Y. & Pass, R., 2024, Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Joye, M. & Leander, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 375-406 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14654 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A Flushing Attack on the DNS Cache

    Afek, Y., Bremler-Barr, A., Danino, S. & Shavitt, Y., 2024, Proceedings of the 33rd USENIX Security Symposium. USENIX Association, p. 2299-2314 16 p. (Proceedings of the 33rd USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A High Coverage Cybersecurity Scale Predictive of User Behavior

    Sawaya, Y., Lu, S., Isohara, T. & Sharif, M., 2024, Proceedings of the 33rd USENIX Security Symposium. USENIX Association, p. 5503-5520 18 p. (Proceedings of the 33rd USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Alternative Basis Matrix Multiplication is Fast and Stable

    Schwartz, O., Toledo, S., Vaknin, N. & Wiernik, G., 2024, Proceedings - 2024 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2024. Institute of Electrical and Electronics Engineers Inc., p. 38-51 14 p. (Proceedings - 2024 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Amplification of Non-interactive Zero Knowledge, Revisited

    Bitansky, N. & Geier, N., 2024, Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings. Reyzin, L. & Stebila, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 361-390 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14928 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • An Integer Programming Framework for Identifying Stable Components in Asynchronous Boolean Networks

    Jacobson, S. & Sharan, R., 2024, Research in Computational Molecular Biology - 28th Annual International Conference, RECOMB 2024, Proceedings. Ma, J. (ed.). Springer Science and Business Media Deutschland GmbH, p. 86-98 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14758 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency

    Raad, A., Lahav, O., Wickerson, J., Balcer, P. & Dongol, B., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, p. 180-184 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • ASQP-RL Demo: Learning Approximation Sets for Exploratory Queries

    Davidson, S. B., Milo, T., Razmadze, K. & Zeevi, G., 9 Jun 2024, SIGMOD-Companion 2024 - Companion of the 2024 International Conferaence on Management of Data. Association for Computing Machinery, p. 452-455 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Asymptotically-Good RLCCs with (log n)2+o(1) Queries

    Cohen, G. & Yankovitz, T., Jul 2024, 39th Computational Complexity Conference, CCC 2024. Santhanam, R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 300).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A Theory of Learning with Competing Objectives and User Feedback

    Awasthi, P., Cortes, C., Mansour, Y. & Mohri, M., 2024, Artificial Intelligence and Image Analysis - 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Revised Selected Papers. Barneva, R. P., Brimkov, V. E., Brimkov, V. E., Gentile, C. & Pacchiano, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 10-49 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14494 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Batch Proofs Are Statistically Hiding

    Bitansky, N., Kamath, C., Paneth, O., Rothblum, R. D. & Vasudevan, P. N., 10 Jun 2024, STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing. Mohar, B., Shinkar, I. & O�Donnell, R. (eds.). Association for Computing Machinery, p. 435-443 9 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • Breaking the Envy Cycle: Best-of-Both-Worlds Guarantees for Subadditive Valuations

    Feldman, M., Mauras, S., Narayan, V. V. & Ponitka, T., 17 Dec 2024, EC 2024 - Proceedings of the 25th Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 1236-1266 31 p. (EC 2024 - Proceedings of the 25th Conference on Economics and Computation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Breathing Life into Sketches Using Text-to-Video Priors

    Gal, R., Vinker, Y., Alaluf, Y., Bermano, A., Cohen-Or, D., Shamir, A. & Chechik, G., 2024, Proceedings - 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2024. IEEE Computer Society, p. 4325-4336 12 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Caching Connections in Matchings

    Sadeh, Y. & Kaplan, H., Jul 2024, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 120. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • CaFA: Cost-aware, Feasible Attacks with Database Constraints Against Neural Tabular Classifiers

    Ben-Tov, M., Deutch, D., Frost, N. & Sharif, M., 2024, Proceedings - 45th IEEE Symposium on Security and Privacy, SP 2024. Institute of Electrical and Electronics Engineers Inc., p. 1345-1364 20 p. (Proceedings - IEEE Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Casper DPM: Cascaded Perceptual Dynamic Projection Mapping onto Hands

    Erel, Y., Kozlovsky-Mordenfeld, O., Kusuyama, H., Miura, K., Iwai, D., Sato, K. & Bermano, A. H., 3 Dec 2024, Proceedings - SIGGRAPH Asia 2024 Emerging Technologies, SA 2024. Spencer, S. N. (ed.). Association for Computing Machinery, Inc, 4. (Proceedings - SIGGRAPH Asia 2024 Emerging Technologies, SA 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Choosing Behind the Veil: Tight Bounds for Identity-Blind Online Algorithms

    Ezra, T., Feldman, M. & Tang, Z. G., 17 Dec 2024, EC 2024 - Proceedings of the 25th Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 136-158 23 p. (EC 2024 - Proceedings of the 25th Conference on Economics and Computation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • CodeSwitching and BackTransliteration Using a Bilingual Model

    Mitelman, D. W., Dershowitz, N. & Bar, K., 2024, EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2024. Graham, Y., Purver, M. & Purver, M. (eds.). Association for Computational Linguistics (ACL), p. 1501-1511 11 p. (EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Cost-Effective LLM Utilization for Machine Learning Tasks over Tabular Data

    Einy, Y., Milo, T. & Novgorodov, S., 9 Jun 2024, 1st Workshop on Governance, Understanding and Integration of Data for Effective and Responsible AI, GUIDE-AI 2024, Co-located with SIGMOD 2024. Association for Computing Machinery, Inc, p. 45-49 5 p. (1st Workshop on Governance, Understanding and Integration of Data for Effective and Responsible AI, GUIDE-AI 2024, Co-located with SIGMOD 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Cross-Image Attention for Zero-Shot Appearance Transfer

    Alaluf, Y., Garibi, D., Patashnik, O., Averbuch-Elor, H. & Cohen-Or, D., 13 Jul 2024, Proceedings - SIGGRAPH 2024 Conference Papers. Spencer, S. N. (ed.). Association for Computing Machinery, Inc, 132. (Proceedings - SIGGRAPH 2024 Conference Papers).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Curved Diffusion: A Generative Model with Optical Geometry Control

    Voynov, A., Hertz, A., Arar, M., Fruchter, S. & Cohen-Or, D., 2024, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 149-164 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15135 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Decidable Verification under Localized Release-Acquire Concurrency

    Singh, A. K. & Lahav, O., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 235-254 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Deep Quantum Error Correction

    Choukroun, Y. & Wolf, L., 25 Mar 2024, Technical Tracks 14. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 1 ed. Association for the Advancement of Artificial Intelligence, p. 64-72 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • Diffusion Models for Visual Computing

    Mitra, N., Cohen-Or, D., Sung, M., Huang, C. H., Ceylan, D. & Guerrero, P., 27 Jul 2024, Proceedings - SIGGRAPH 2024 Courses. Spencer, S. N. (ed.). Association for Computing Machinery, Inc, (Proceedings - SIGGRAPH 2024 Courses).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Discreteness of asymptotic tensor ranks

    Briët, J., Christandl, M., Leigh, I., Shpilka, A. & Zuiddam, J., Jan 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 287).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Diverse and Aligned Audio-to-Video Generation via Text-to-Video Model Adaptation

    Yariv, G., Gat, I., Benaim, S., Wolf, L., Schwartz, I. & Adi, Y., 25 Mar 2024, Technical Tracks 14. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 7 ed. Association for the Advancement of Artificial Intelligence, p. 6639-6647 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 7).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • Do Large Language Models Latently Perform Multi-Hop Reasoning?

    Yang, S., Gribovskaya, E., Kassner, N., Geva, M. & Riedel, S., 2024, Long Papers. Ku, L.-W., Martins, A. F. T. & Srikumar, V. (eds.). Association for Computational Linguistics (ACL), p. 10210-10229 20 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Dot-Product Proofs and Their Applications

    Bitansky, N., Harsha, P., Ishai, Y., Rothblum, R. D. & Wu, D. J., 2024, Proceedings - 2024 IEEE 65th Annual Symposium on Foundations of Computer Science, FOCS 2024. IEEE Computer Society, p. 806-825 20 p. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • DrSec: Flexible Distributed Representations for Efficient Endpoint Security

    Sharif, M., Datta, P., Riddle, A., Westfall, K., Bates, A., Ganti, V., Lentzk, M. & Ott, D., 2024, Proceedings - 45th IEEE Symposium on Security and Privacy, SP 2024. Institute of Electrical and Electronics Engineers Inc., p. 3609-3624 16 p. (Proceedings - IEEE Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas

    Frenkel, E., Chajed, T., Padon, O. & Shoham, S., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 86-108 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Efficient Verification-Based Face Identification

    Rozner, A., Battash, B., Lindenbaum, O. & Wolf, L., 2024, 2024 IEEE 18th International Conference on Automatic Face and Gesture Recognition, FG 2024. Institute of Electrical and Electronics Engineers Inc., (2024 IEEE 18th International Conference on Automatic Face and Gesture Recognition, FG 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Everywhere All at Once: Co-Location Attacks on Public Cloud FaaS

    Zhao, Z. N., Morrison, A., Fletcher, C. W. & Torrellas, J., 27 Apr 2024, Spring Cycle. Association for Computing Machinery, p. 133-149 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Exploiting Miscoordination of Microservices in Tandem for Effective DDoS Attacks

    Bremler-Barr, A., Czeizler, M., Levy, H. & Tavori, J., 2024, IEEE INFOCOM 2024 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 231-240 10 p. (Proceedings - IEEE INFOCOM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Fair Division via Quantile Shares

    Babichenko, Y., Feldman, M., Holzman, R. & Narayan, V. V., 10 Jun 2024, STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing. Mohar, B., Shinkar, I. & O�Donnell, R. (eds.). Association for Computing Machinery, p. 1235-1246 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Faster Algorithms for Dual-Failure Replacement Paths

    Chechik, S. & Zhang, T., Jul 2024, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 41. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review