School of Computer Science

Research output

Research output per year 2011 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2024

• 256410 Citations
• 212 h-index
• 1438 Conference contribution
• 1034 Article
• 210 Conference article
• 82 Paper
• 137 More
  • 35 Editorial
  • 34 Chapter
  • 27 Review article
  • 17 Book
  • 14 Comment/debate
  • 4 Letter
  • 2 Entry for encyclopedia/dictionary
  • 1 Report
  • 1 Meeting Abstract
  • 1 Short survey
  • 1 Discussion paper

Research output per year

Research output per year

Search results

• 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).

  Tel Aviv University

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

  • Face Recognition 100%
  • Near Infrared 94%
  • Security Analysis 93%
  • Face recognition 56%
  • Attack 51%

• 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).

  Tel Aviv University

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

  Open Access

  • Concurrency 100%
  • Memory Model 77%
  • Denotational Semantics 71%
  • Trace 66%
  • Semantics 56%

• 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).

  Tel Aviv University

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

  • Pseudorandom Function 100%
  • Kolmogorov Complexity 87%
  • Hardness 54%
  • Pseudorandom Generator 46%
  • Polynomials 26%

• 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).

  The Hebrew University of Jerusalem, Tel Aviv University

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

• 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).

  Tel Aviv University

  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).

  Tel Aviv University

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

  • Boolean Networks 100%
  • Integer Programming 76%
  • Integer programming 75%
  • Boolean Model 48%
  • Framework 40%

• 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).

  Tel Aviv University

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

  Open Access

  • Mechanization 100%
  • Transactions 86%
  • Concurrency 83%
  • Specification 61%
  • Specifications 44%

• 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. p. 452-455 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

  Tel Aviv University

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

  • Large dataset 100%
  • Data storage equipment 55%
  • Query processing 51%
  • Reinforcement learning 46%
  • Agglomeration 39%

• Asymptotically-Good RLCCs with (log n)²⁺o(1) Queries

  Cohen, G. & Yankovitz, T., Jul 2024, 39th Computational Complexity Conference, CCC 2024. Santhanam, R. (ed.). 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 300).

  Tel Aviv University

  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., 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).

  Tel Aviv University

  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.). p. 435-443 9 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

  Tel Aviv University, Technion - Israel Institute of Technology

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

  Open Access

  • Polynomials 100%
  • Communication 32%

• 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.). 120. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).

  Tel Aviv University

  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. 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).

  Tel Aviv University

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

  • Machine learning 100%
  • Costs 51%
  • Cost effectiveness 20%

• 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.). 132. (Proceedings - SIGGRAPH 2024 Conference Papers).

  Tel Aviv University

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

  Open Access

• 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).

  Tel Aviv University

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

  Open Access

  • Concurrency 100%
  • Semantics 56%
  • Computability and decidability 56%
  • Data storage equipment 25%
  • Memory Model 19%

• Deep Quantum Error Correction

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

  Tel Aviv University

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

  Open Access

  • Error correction 100%
  • Decoding 60%
  • Qubits 33%
  • Deep neural networks 23%
  • Sampling 16%

• 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.). 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 287).

  Tel Aviv University

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

  • Tensors 100%
  • Costs 2%

• 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: AAAI-24 Technical Tracks 7. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 7 ed. Vol. 38. p. 6639-6647 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 7).

  Tel Aviv University, The Hebrew University of Jerusalem

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

  Open Access

  • Semantics 100%
  • Acoustic waves 57%

• 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).

  Tel Aviv University

  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., 31 May 2024, 2024 IEEE 18th International Conference on Automatic Face and Gesture Recognition (FG). p. 1-10 10 p. 10582040. (2024 IEEE 18th International Conference on Automatic Face and Gesture Recognition, FG 2024).

  Bar-Ilan University, Tel Aviv University

  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. p. 133-149 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 1).

  Tel Aviv University

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

  Open Access

  • Side channel attack 100%
  • Launching 93%
  • Computer hardware 47%

• 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).

  Tel Aviv University

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

• 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.). p. 1235-1246 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

  Technion - Israel Institute of Technology, Tel Aviv University

  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.). 41. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).

  Tel Aviv University

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

• Fine-Tuning CLIP via Explainability Map Propagation for Boosting Image and Video Retrieval

  Shalev, Y. & Wolf, L., 2024, Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Proceedings. Goharian, N., Tonellotto, N., He, Y., Lipani, A., McDonald, G., Macdonald, C. & Ounis, I. (eds.). Springer Science and Business Media Deutschland GmbH, p. 356-370 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14608 LNCS).

  Tel Aviv University

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

  • Video Retrieval 100%
  • Image Retrieval 86%
  • Boosting 63%
  • Tuning 55%
  • Image retrieval 48%

• Gap MCSP Is Not (Levin) NP-Complete in Obfustopia

  Mazor, N. & Pass, R., Jul 2024, 39th Computational Complexity Conference, CCC 2024. Santhanam, R. (ed.). 36. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 300).

  Tel Aviv University

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

• History-Independent Concurrent Objects

  Attiya, H., Bender, M. A., Farach-Colton, M., Oshman, R. & Schiller, N., 17 Jun 2024, PODC 2024 - Proceedings of the 2024 ACM Symposium on Principles of Distributed Computing. p. 14-24 11 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Technion - Israel Institute of Technology, Tel Aviv University

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

  Open Access

• Hyperproperty Verification as CHC Satisfiability

  Itzhaky, S., Shoham, S. & Vizel, Y., 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. 212-241 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

  Technion - Israel Institute of Technology, Tel Aviv University

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

  Open Access

  • Horn clause 100%
  • Satisfiability 78%
  • First-order 26%
  • Encoding 26%
  • Model checking 18%

• Insertion-Only Dynamic Connectivity in General Disk Graphs

  Kaplan, H., Klost, K., Knorr, K., Mulzer, W. & Roditty, L., 2024, 2024 Symposium on Simplicity in Algorithms, SOSA 2024. Parter, M. & Pettie, S. (eds.). Society for Industrial and Applied Mathematics (SIAM), p. 299-305 7 p. (2024 Symposium on Simplicity in Algorithms, SOSA 2024).

  Tel Aviv University, Bar-Ilan University

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

  • Insertion 100%
  • Connectivity 81%
  • Data Structures 68%
  • Intersection Graphs 51%
  • Graph in graph theory 41%

• 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. 150-179 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

  Tel Aviv University

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

  Open Access

  • Software Transactional Memory 100%
  • Transactions 70%
  • Concurrency 68%
  • Specification 50%
  • Opacity 50%

• Jump to Conclusions: Short-Cutting Transformers with Linear Transformations

  Din, A. Y., Karidi, T., Choshen, L. & Geva, M., 2024, 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings. Calzolari, N., Kan, M-Y., Hoste, V., Lenci, A., Sakti, S. & Xue, N. (eds.). p. 9615-9625 11 p. (2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings).

  Tel Aviv University

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

  • Transformer 100%
  • Linear transformations 96%
  • Linear transformation 78%
  • Jump 62%
  • Casting 21%

• Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

  Gorenstein, A., Maoz, S. & Ringert, J. O., 6 Feb 2024, ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. IEEE Computer Society, (Proceedings - International Conference on Software Engineering).

  Tel Aviv University

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

  Open Access

  • Specifications 100%
  • Controllers 83%

• Large Language Models for Psycholinguistic Plausibility Pretesting

  Amouyal, S. J., Meltzer-Asscher, A. & Berant, J., 2024, EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2024. Graham, Y. & Purver, M. (eds.). Association for Computational Linguistics (ACL), p. 166-181 16 p. (EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2024).

  Tel Aviv University

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

  • Language Model 100%
  • psycholinguistics 72%
  • Judgment 71%
  • Psycholinguistics 69%
  • Plausibility 64%

• Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud

  Zhao, Z. N., Morrison, A., Fletcher, C. W. & Torrellas, J., 27 Apr 2024, Summer Cycle. p. 582-600 19 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).

  Tel Aviv University

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

  Open Access

  • Side channel attack 100%
  • Power spectral density 46%
  • Containers 37%
  • Signal processing 32%
  • Data storage equipment 24%

• List Update with Delays or Time Windows

  Azar, Y., Lewkowicz, S. & Vainstein, D., Jul 2024, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).

  Tel Aviv University

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

• Lower Bounds for Set-Multilinear Branching Programs

  Chatterjee, P., Kush, D., Saraf, S. & Shpilka, A., Jul 2024, 39th Computational Complexity Conference, CCC 2024. Santhanam, R. (ed.). 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 300).

  Tel Aviv University, Technion - Israel Institute of Technology

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

• MiniMon: Minimizing Android Applications with Intelligent Monitoring-based Debloating

  Liu, J., Zhang, Z., Hu, X., Thung, F., Maoz, S., Gao, D., Toch, E., Zhao, Z. & Lo, D., 2024, Proceedings - 2024 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2024. IEEE Computer Society, p. 2542-2554 13 p. (Proceedings - International Conference on Software Engineering).

  Tel Aviv University

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

  Open Access

  • Application programs 100%
  • Monitoring 93%
  • Data storage equipment 16%
  • Experiments 9%

• Minimum-cost paths for electric cars

  Dorfman, D., Kaplan, H., Tarjan, R. E., Thorup, M. & Zwick, U., 2024, 2024 Symposium on Simplicity in Algorithms, SOSA 2024. Parter, M. & Pettie, S. (eds.). Society for Industrial and Applied Mathematics (SIAM), p. 374-382 9 p. (2024 Symposium on Simplicity in Algorithms, SOSA 2024).

  Tel Aviv University

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

  • Charge 100%
  • Costs 72%
  • Battery 69%
  • Path 68%
  • Energy 50%

• Monotone-Policy Aggregate Signatures

  Brodsky, M. F., Choudhuri, A. R., Jain, A. & Paneth, O., 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. 168-195 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14654 LNCS).

  Tel Aviv University

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

  • Batch 100%
  • Policy 88%
  • Signature 85%
  • Monotone 71%
  • Signed 47%

• MPC for Tech Giants (GMPC): Enabling Gulliver and the Lilliputians to Cooperate Amicably

  Alon, B., Naor, M., Omri, E. & Stemmer, U., 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. 74-108 35 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14927 LNCS).

  Tel Aviv University, Ariel University, Ben-Gurion University of the Negev, Weizmann Institute of Science

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

• Multi-Party Set Disjointness and Intersection with Bounded Dependence

  Braverman, M., Oshman, R. & Roth, T., 17 Jun 2024, PODC 2024 - Proceedings of the 2024 ACM Symposium on Principles of Distributed Computing. p. 332-342 11 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

  Tel Aviv University

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

• mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic

  Wilcox, J. R., Feldman, Y. M. Y., 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. 71-85 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).

  Tel Aviv University

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

  Open Access

• New Bounds on Quotient Polynomials with Applications to Exact Division and Divisibility Testing of Sparse Polynomials

  Nahshon, I. & Shpilka, A., 16 Jul 2024, ISSAC 2024 - Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. Chen, S. (ed.). p. 91-99 9 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

  Tel Aviv University

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

• Object-level Scene Deocclusion

  Liu, Z., Liu, Q., Chang, C., Zhang, J., Pakhomov, D., Zheng, H., Lin, Z., Cohen-Or, D. & Fu, C. W., 13 Jul 2024, Proceedings - SIGGRAPH 2024 Conference Papers. Spencer, S. N. (ed.). 104. (Proceedings - SIGGRAPH 2024 Conference Papers).

  Tel Aviv University

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

  Open Access

• On Optimal Tradeoffs between EFX and Nash Welfare

  Feldman, M., Mauras, S. & Ponitka, T., 25 Mar 2024, Technical Tracks 14. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 9 ed. p. 9688-9695 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 9).

  Tel Aviv University

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

  Open Access

• On Polynomial Time Local Decision

  Tshuva, E. A. & Oshman, R., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

  Tel Aviv University

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

  • Pulsed laser deposition 100%
  • Polynomials 66%
  • Computational efficiency 20%

• On the (In)approximability of Combinatorial Contracts

  Ezra, T., Feldman, M. & Schlesinger, M., Jan 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (ed.). 44. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 287).

  Tel Aviv University

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

  • Set theory 100%
  • Hardness 61%
  • NP-hard 37%
  • Computational complexity 31%

• Optimal Non-Adaptive Cell Probe Dictionaries and Hashing

  Larsen, K. G., Pagh, R., Persiano, G., Pitassi, T., Yeo, K. & Zamir, O., Jul 2024, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). 104. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).

  Tel Aviv University

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

• Optimizing Counterfactual-based Analysis of Machine Learning Models Through Databases

  Arie, A. B., Deutch, D., Frost, N., Horesh, Y. & Meyuhas, I., 18 Mar 2024, Advances in Database Technology - EDBT. 3 ed. p. 597-609 13 p. (Advances in Database Technology - EDBT; vol. 27, no. 3).

  Tel Aviv University

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

  • Machine learning 100%
  • Specifications 22%

• Path-Reporting Distance Oracles with Logarithmic Stretch and Linear Size

  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.). 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).

  Tel Aviv University

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