The Rachel and Selim Benin School of Engineering and Computer Science

Filter
Conference contribution

Search results

  • 2021

    Generic-group identity-based encryption: A tight impossibility result

    Schul-Ganz, G. & Segev, G., 1 Jul 2021, 2nd Conference on Information-Theoretic Cryptography, ITC 2021. Tessaro, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 26:1-26:23 23 p. 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 199).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Scopus citations
  • How did this get funded?! Automatically identifying quirky scientific achievements

    Shani, C., Borenstein, N. & Shahaf, D., 2021, ACL-IJCNLP 2021 - 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 14-28 15 p. (ACL-IJCNLP 2021 - 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Image Shape Manipulation from a Single Augmented Training Sample

    Vinker, Y., Horwitz, E., Zabari, N. & Hoshen, Y., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 13749-13758 10 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    12 Scopus citations
  • Mediators in Determining what Processing BERT Performs First

    Slobodkin, A., Choshen, L. & Abend, O., 2021, NAACL-HLT 2021 - 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 86-93 8 p. (NAACL-HLT 2021 - 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • Membership Inference Attacks are Easier on Difficult Problems

    Shafran, A., Peleg, S. & Hoshen, Y., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 14800-14809 10 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    8 Scopus citations
  • Min-sum clustering (with outliers)

    Banerjee, S., Ostrovsky, R. & Rabani, Y., 1 Sep 2021, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021. Wootters, M. & Sanita, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 207).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • MUDirect: Protecting P2P IoT Devices with MUD

    Afek, Y., Bremler-Barr, A., Hay, D. & Shalev, A., 2021, Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021. Zheng, J., Liu, X., Luan, T. H., Jayaraman, P. P., Dai, H., Mitra, K., Qin, K., Ranjan, R. & Wen, S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 121-129 9 p. (Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Multiparty Reusable Non-interactive Secure Computation from LWE

    Benhamouda, F., Jain, A., Komargodski, I. & Lin, H., 2021, Advances in Cryptology – EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Canteaut, A. & Standaert, F.-X. (eds.). Springer Science and Business Media Deutschland GmbH, p. 724-753 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12697 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • Near-linear time approximation schemes for Steiner tree and forest in low-dimensional spaces

    Bartal, Y. & Gottlieb, L. A., 15 Jun 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (eds.). Association for Computing Machinery, p. 1028-1041 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Non-malleable Codes for Bounded Parallel-Time Tampering

    Dachman-Soled, D., Komargodski, I. & Pass, R., 2021, Advances in Cryptology – CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Proceedings. Malkin, T. & Peikert, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 535-565 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12827 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Non-malleable Time-Lock Puzzles and Applications

    Freitag, C., Komargodski, I., Pass, R. & Sirkin, N., 2021, Theory of Cryptography - 19th International Conference, TCC 2021, Proceedings. Nissim, K., Waters, B. & Waters, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 447-479 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13044 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    17 Scopus citations
  • Non-malleable Vector Commitments via Local Equivocability

    Rotem, L. & Segev, G., 2021, Theory of Cryptography - 19th International Conference, TCC 2021, Proceedings. Nissim, K., Waters, B. & Waters, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 415-446 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13044 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Oblivious RAM with Worst-Case Logarithmic Overhead

    Asharov, G., Komargodski, I., Lin, W. K. & Shi, E., 2021, Advances in Cryptology – CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Proceedings. Malkin, T. & Peikert, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 610-640 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12828 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • On codes decoding a constant fraction of errors on the BSC

    Hązła, J., Samorodnitsky, A. & Sberlo, O., 15 Jun 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (eds.). Association for Computing Machinery, p. 1479-1488 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Scopus citations
  • Online multiserver convex chasing and optimization

    Bubeck, S., Rabani, Y. & Sellke, M., 2021, ACM-SIAM Symposium on Discrete Algorithms, SODA 2021. Marx, D. (ed.). Association for Computing Machinery, p. 2093-2104 12 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • On the Relation between Syntactic Divergence and Zero-Shot Performance

    Arviv, O., Nikolaev, D., Karidi, T. & Abend, O., 2021, EMNLP 2021 - 2021 Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 4803-4817 15 p. (EMNLP 2021 - 2021 Conference on Empirical Methods in Natural Language Processing, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • PANDA: Adapting Pretrained Features for Anomaly Detection and Segmentation

    Reiss, T., Cohen, N., Bergman, L. & Hoshen, Y., 2021, Proceedings - 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2021. IEEE Computer Society, p. 2805-2813 9 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    182 Scopus citations
  • Paths to Relation Extraction through Semantic Structures

    Yellin, J. & Abend, O., 2021, Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021. Zong, C., Xia, F., Li, W. & Navigli, R. (eds.). Association for Computational Linguistics (ACL), p. 2614-2626 13 p. (Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Perspective Multi-Player Games

    Kupferman, O. & Shenwald, N., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers Inc., p. 1-13 13 p. 9470616. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • PHANTOM GHOSTDAG: A scalable generalization of Nakamoto consensus: September 2, 2021

    Sompolinsky, Y., Wyborski, S. & Zohar, A., 26 Sep 2021, AFT 2021 - Proceedings of the 2021 3rd ACM Conference on Advances in Financial Technologies. Association for Computing Machinery, Inc, p. 57-70 14 p. (AFT 2021 - Proceedings of the 2021 3rd ACM Conference on Advances in Financial Technologies).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    34 Scopus citations
  • Process-level representation of scientific protocols with interactive annotation

    Tamari, R., Bai, F., Ritter, A. & Stanovsky, G., 2021, EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 2190-2202 13 p. (EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Scopus citations
  • Proportional Dynamics in Exchange Economies

    Brânzei, S., Devanur, N. & Rabani, Y., 18 Jul 2021, EC 2021 - Proceedings of the 22nd ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 180-201 22 p. (EC 2021 - Proceedings of the 22nd ACM Conference on Economics and Computation).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    15 Scopus citations
  • Pruning and Slicing Neural Networks using Formal Verification

    Lahav, O. & Katz, G., 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 183-192 10 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • Putting Words in BERT's Mouth: Navigating Contextualized Vector Spaces with Pseudowords

    Karidi, T., Zhou, Y., Schneider, N., Abend, O. & Srikumar, V., 2021, EMNLP 2021 - 2021 Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 10300-10313 14 p. (EMNLP 2021 - 2021 Conference on Empirical Methods in Natural Language Processing, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Scopus citations
  • Q2: Evaluating Factual Consistency in Knowledge-Grounded Dialogues via Question Generation and Question Answering

    Honovich, O., Choshen, L., Aharoni, R., Neeman, E., Szpektor, I. & Abend, O., 2021, EMNLP 2021 - 2021 Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 7856-7870 15 p. (EMNLP 2021 - 2021 Conference on Empirical Methods in Natural Language Processing, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    88 Scopus citations
  • Realistic Evaluation Principles for Cross-document Coreference Resolution

    Cattan, A., Eirew, A., Stanovsky, G., Joshi, M. & Dagan, I., 2021, *SEM 2021 - 10th Conference on Lexical and Computational Semantics, Proceedings of the Conference. Ku, L.-W., Nastase, V. & Vulic, I. (eds.). Association for Computational Linguistics (ACL), p. 143-151 9 p. (*SEM 2021 - 10th Conference on Lexical and Computational Semantics, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • Resampling with Feedback: A New Paradigm of Using Workload Data for Performance Evaluation: (Extended Version)

    Feitelson, D. G., 2021, Job Scheduling Strategies for Parallel Processing - 24th International Workshop, JSSPP 2021, Revised Selected Papers. Klusáček, D., Cirne, W. & Rodrigo, G. P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-32 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12985 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Scaling-up Disentanglement for Image Translation

    Gabbay, A. & Hoshen, Y., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 6763-6772 10 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    15 Scopus citations
  • ShapeConv: Shape-aware Convolutional Layer for Indoor RGB-D Semantic Segmentation

    Cao, J., Leng, H., Lischinski, D., Cohen-Or, D., Tu, C. & Li, Y., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 7068-7077 10 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    116 Scopus citations
  • StyleCLIP: Text-Driven Manipulation of StyleGAN Imagery

    Patashnik, O., Wu, Z., Shechtman, E., Cohen-Or, D. & Lischinski, D., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 2065-2074 10 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    672 Scopus citations
  • Stylespace analysis: Disentangled controls for stylegan image generation

    Wu, Z., Lischinski, D. & Shechtman, E., 2021, Proceedings - 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2021. IEEE Computer Society, p. 12858-12867 10 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    286 Scopus citations
  • The demand query model for bipartite matching

    Nisan, N., 2021, ACM-SIAM Symposium on Discrete Algorithms, SODA 2021. Marx, D. (ed.). Association for Computing Machinery, p. 592-599 8 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    13 Scopus citations
  • The Double-Sided Information-Bottleneck Function

    Dikshtein, M., Ordentlich, O. & Shamai Shitz, S., 12 Jul 2021, 2021 IEEE International Symposium on Information Theory, ISIT 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2495-2500 6 p. (IEEE International Symposium on Information Theory - Proceedings; vol. 2021-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Theorems of KKL, friedgut, and talagrand via random restrictions and log-sobolev inequality

    Kelman, E., Khot, S., Kindler, G., Minzer, D. & Safra, M., 1 Feb 2021, 12th Innovations in Theoretical Computer Science Conference, ITCS 2021. Lee, J. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 26:1-26:17 17 p. 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 185).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Tighter Security for Schnorr Identification and Signatures: A High-Moment Forking Lemma for Σ -Protocols

    Rotem, L. & Segev, G., 2021, Advances in Cryptology – CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Proceedings. Malkin, T. & Peikert, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 222-250 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12825 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • Toward greater scavenger congestion control deployment: Implementations and interfaces

    Meng, T., Cai, C., Godfrey, B. & Schapira, M., 24 Jul 2021, ANRW 2021 - Proceedings of the 2021 Applied Networking Research Workshop. Association for Computing Machinery, Inc, p. 59-61 3 p. (ANRW 2021 - Proceedings of the 2021 Applied Networking Research Workshop).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Towards combining deep learning, verification, and scenario-based programming

    Katz, G. & Elyasaf, A., 18 May 2021, Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021. Association for Computing Machinery, Inc, 3459631. (Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Towards repairing scenario-Based models with rich events

    Katz, G., 2021, MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F., Seidewitz, E. & Soley, R. (eds.). SciTePress, p. 362-372 11 p. (MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Towards Scalable Verification of Deep Reinforcement Learning

    Amir, G., Schapira, M. & Katz, G., 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 193-203 11 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    34 Scopus citations
  • Two combinatorial MA-complete problems

    Aharonov, D. & Grilo, A. B., 1 Feb 2021, 12th Innovations in Theoretical Computer Science Conference, ITCS 2021. Lee, J. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 36:1-36:20 20 p. 36. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 185).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Understanding and simplifying perceptual distances

    Amir, D. & Weiss, Y., 2021, Proceedings - 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2021. IEEE Computer Society, p. 12221-12230 10 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Scopus citations
  • Unpaired Learning for High Dynamic Range Image Tone Mapping

    Vinker, Y., Huberman-Spiegelglas, I. & Fattal, R., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 14637-14646 10 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    27 Scopus citations
  • Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment

    Amir, G., Prusak, A., Reiss, T., Zabari, N. & Feitelson, D. G., Jun 2021, Proceedings - 2021 IEEE/ACM 8th International Workshop on Software Engineering Research and Industrial Practice, SER and IP 2021. Institute of Electrical and Electronics Engineers Inc., p. 29-36 8 p. 9474840. (Proceedings - 2021 IEEE/ACM 8th International Workshop on Software Engineering Research and Industrial Practice, SER and IP 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Using Non-Verbal Expressions as a Tool in Naming Research

    Regev, O., Soloveitchik, M. & Feitelson, D. G., May 2021, Proceedings - 2021 IEEE/ACM 29th International Conference on Program Comprehension, ICPC 2021. IEEE Computer Society, p. 347-357 11 p. 9463051. (IEEE International Conference on Program Comprehension; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Verifying learning-augmented systems

    Eliyahu, T., Kazak, Y., Katz, G. & Schapira, M., 9 Aug 2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. Association for Computing Machinery, Inc, p. 305-318 14 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    40 Scopus citations
  • When is Unsupervised Disentanglement Possible?

    Horan, D., Richardson, E. & Weiss, Y., 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (eds.). Neural information processing systems foundation, p. 5150-5161 12 p. (Advances in Neural Information Processing Systems; vol. 7).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    23 Scopus citations
  • Which Transformer architecture fits my data? A vocabulary bottleneck in self-attention

    Wies, N., Levine, Y., Jannai, D. & Shashua, A., 2021, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. ML Research Press, p. 11170-11181 12 p. (Proceedings of Machine Learning Research; vol. 139).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    11 Scopus citations
  • 2020

    Accumulators in (and beyond) generic groups: Non-trivial batch verification requires interaction

    Schul-Ganz, G. & Segev, G., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 77-107 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12551 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Algebraic distinguishers: From discrete logarithms to decisional uber assumptions

    Rotem, L. & Segev, G., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 366-389 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12552 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • An Abstraction-Based Framework for Neural Network Verification

    Elboher, Y. Y., Gottschlich, J. & Katz, G., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 43-65 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    86 Scopus citations