Department of Computer Science

Filter
Conference contribution

Search results

  • 2021

    Forecasting Tools in Practical Applications: Selection and Evaluation Methodology

    Dolev, S., Frenkel, S. & Zakharov, V., 1 Jan 2021, Proceedings - 2021 International Conference Engineering Technologies and Computer Science, EnT 2021. Institute of Electrical and Electronics Engineers, p. 37-44 8 p. (Proceedings - 2021 International Conference Engineering Technologies and Computer Science, EnT 2021).

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

    1 Scopus citations

  • Formally Computing with the Non-computable.

    Cohen, L., 2 Jul 2021, Conference on Computability in Europe - CiE 2021. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 135-145 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12813 LNCS).

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

  • FPT-approximation for FPT Problems

    Lokshtanov, D., Misra, P., Ramanujan, M. S., Saurabh, S. & Zehavi, M., 1 Jan 2021, ACM-SIAM Symposium on Discrete Algorithms, SODA 2021. Marx, D. (ed.). Association for Computing Machinery, p. 199-218 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    14 Scopus citations

  • Function Secret Sharing for Mixed-Mode and Fixed-Point Secure Computation

    Boyle, E., Chandran, N., Gilboa, N., Gupta, D., Ishai, Y., Kumar, N. & Rathee, M., 1 Jan 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. 871-900 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 proceeding › Conference contribution › peer-review

    40 Scopus citations

  • Generalized Pseudorandom Secret Sharing and Efficient Straggler-Resilient Secure Computation

    Benhamouda, F., Boyle, E., Gilboa, N., Halevi, S., Ishai, Y. & Nof, A., 1 Jan 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. 129-161 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13043 LNCS).

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

    6 Scopus citations

  • Grid Recognition: Classical and Parameterized Computational Perspectives

    Gupta, S., Sa’ar, G. & Zehavi, M., 1 Dec 2021, 32nd International Symposium on Algorithms and Computation, ISAAC 2021. Ahn, H.-K. & Sadakane, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 212).

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

    2 Scopus citations

  • History Binding Signature: (Extended Abstract)

    Dolev, S. & Liber, M., 1 Jul 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 221-229 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

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

  • How to Catch Marathon Cheaters: New Approximation Algorithms for Tracking Paths

    Goodrich, M. T., Gupta, S., Khodabandeh, H. & Matias, P., 1 Jan 2021, Algorithms and Data Structures - 17th International Symposium, WADS 2021, Proceedings. Lubiw, A. & Salavatipour, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 442-456 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12808 LNCS).

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

    3 Scopus citations

  • Implementing GDPR in Social Networks Using Trust and Context

    Voloch, N., Gudes, E. & Gal-Oz, N., 1 Jan 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 497-503 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

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

  • Improved algorithms for solving polynomial systems over GF(2) by multiple parity-counting

    Dinur, I., 1 Jan 2021, ACM-SIAM Symposium on Discrete Algorithms, SODA 2021. Marx, D. (ed.). Association for Computing Machinery, p. 2550-2564 15 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    13 Scopus citations

  • Improved Knowledge Modeling and Its Use for Signaling in Multi-Agent Planning with Partial Observability

    Shekhar, S., Brafman, R. I. & Shani, G., 1 Jan 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. Association for the Advancement of Artificial Intelligence, p. 11954-11961 8 p. (35th AAAI Conference on Artificial Intelligence, AAAI 2021; vol. 13B).

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

    2 Scopus citations

  • Improved weighted additive spanners

    Elkin, M., Gitlitz, Y. & Neiman, O., 1 Oct 2021, 35th International Symposium on Distributed Computing, DISC 2021. Gilbert, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 209).

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

    1 Scopus citations

  • Indexing cloud data lakes within the lakes

    Weintraub, G., Gudes, E. & Dolev, S., 14 Jun 2021, SYSTOR 2021 - Proceedings of the 14th ACM International Conference on Systems and Storage. Association for Computing Machinery, Inc, 3463828. (SYSTOR 2021 - Proceedings of the 14th ACM International Conference on Systems and Storage).

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

    2 Scopus citations

  • Interference-free Walks in Time: Temporally Disjoint Paths

    Klobas, N., Mertzios, G. B., Molter, H., Niedermeier, R. & Zschoche, P., 1 Jan 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z.-H. (ed.). International Joint Conferences on Artificial Intelligence, p. 4090-4096 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    9 Scopus citations

  • Iterative-deepening Bidirectional Heuristic Search with Restricted Memor

    Shperberg, S. S., Danishevski, S., Felner, A. & Sturtevant, N. R., 1 Jan 2021, 14th International Symposium on Combinatorial Search, SoCS 2021. Ma, H. & Serina, I. (eds.). Association for the Advancement of Artificial Intelligence, p. 194-196 3 p. (14th International Symposium on Combinatorial Search, SoCS 2021).

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

  • Iterative-deepening Bidirectional Heuristic Search with Restricted Memory

    Shperberg, S. S., Danishevski, S., Felner, A. & Sturtevant, N. R., 1 Jan 2021, 31st International Conference on Automated Planning and Scheduling, ICAPS 2021. Biundo, S., Do, M., Goldman, R., Katz, M., Yang, Q. & Zhuo, H. H. (eds.). Association for the Advancement of Artificial Intelligence, p. 331-339 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 2021-August).

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

    3 Scopus citations

  • Jigsaw Puzzle Solving as a Consistent Labeling Problem

    Khoroshiltseva, M., Vardi, B., Torcinovich, A., Traviglia, A., Ben-Shahar, O. & Pelillo, M., 1 Jan 2021, Computer Analysis of Images and Patterns - 19th International Conference, CAIP 2021, Proceedings. Tsapatsoulis, N., Panayides, A., Theocharides, T., Lanitis, A., Lanitis, A., Pattichis, C., Pattichis, C. & Vento, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 392-402 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13053 LNCS).

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

    3 Scopus citations

  • Learning of Structurally Unambiguous Probabilistic Grammars

    Nitay, D., Fisman, D. & Ziv-Ukelson, M., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. Association for the Advancement of Artificial Intelligence, Vol. 35. p. 9170-9178 9 p.

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

    6 Scopus citations
    28 Downloads (Pure)

  • Lessons of Formal Program Design in Dafny

    Ettinger, R., 1 Jan 2021, Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings. Ferreira, J. F., Mendes, A. & Menghi, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 84-100 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13122 LNCS).

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

  • Lightweight techniques for private heavy hitters

    Boneh, D., Boyle, E., Corrigan-Gibbs, H., Gilboa, N. & Ishai, Y., 1 May 2021, Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021. Institute of Electrical and Electronics Engineers, p. 762-776 15 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2021-May).

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

    Open Access
    53 Scopus citations

  • Local Maxima in ADCOPs via Side Payments

    Vaknin, Y. & Meisels, A., 14 Dec 2021, Proceedings - 2021 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2021. Association for Computing Machinery, p. 376-381 6 p. (ACM International Conference Proceeding Series).

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

    2 Scopus citations

  • Location Functions for Self-stabilizing Byzantine Tolerant Swarms

    Ashkenazi, Y., Dolev, S., Kamei, S., Katayama, Y., Ooshita, F. & Wada, K., 1 Jan 2021, Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Proceedings. Johnen, C., Schiller, E. M. & Schmid, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 229-242 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13046 LNCS).

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

    1 Scopus citations

  • Logarithmic Time MIMO Based Self-Stabilizing Clock Synchronization.

    Dolev, S., Narayanan, R. P., Scheideler, C. & Schindelhauer, C., 17 Sep 2021, NANOCOM '21: Proceedings of the Eight Annual ACM International Conference on Nanoscale Computing and Communication. Association for Computing Machinery, Inc, p. 30:1-30:2 2 p. 30

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

  • Low-Complexity Weak Pseudorandom Functions in AC0 [ MOD2 ]

    Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P., 1 Jan 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. 487-516 30 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 proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Man-made by Computer: On-The-Fly Fine Texture 3D Printing

    Yan, X., Lu, L., Sharf, A., Yu, X. & Sun, Y., 28 Oct 2021, Proceedings - SCF 2021: ACM Symposium on Computational Fabrication. Spencer, S. N. (ed.). Association for Computing Machinery, Inc, (Proceedings - SCF 2021: ACM Symposium on Computational Fabrication).

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

    7 Scopus citations

  • Meta-level Techniques for Planning, Search, and Scheduling

    Shperberg, S. S., 1 Jan 2021, 14th International Symposium on Combinatorial Search, SoCS 2021. Ma, H. & Serina, I. (eds.). Association for the Advancement of Artificial Intelligence, p. 236-238 3 p. (14th International Symposium on Combinatorial Search, SoCS 2021).

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

  • Metareasoning for Interleaved Planning and Execution

    Elboher, A., Shperberg, S. S. & Shimony, S. E., 1 Jan 2021, 14th International Symposium on Combinatorial Search, SoCS 2021. Ma, H. & Serina, I. (eds.). Association for the Advancement of Artificial Intelligence, p. 167-169 3 p. (14th International Symposium on Combinatorial Search, SoCS 2021).

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

    1 Scopus citations

  • Meta-X: A Technique for Reducing Communication in Geographically Distributed Computations

    Afrati, F., Dolev, S., Sharma, S. & Ullman, J. D., 1 Jan 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 467-486 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

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

  • MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications

    Dinur, I., Goldfeder, S., Halevi, T., Ishai, Y., Kelkar, M., Sharma, V. & Zaverucha, G., 1 Jan 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. 517-547 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 proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Multivariate analysis of scheduling fair competitions

    Gupta, S. & Zehavi, M., 1 Jan 2021, 20th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2021. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 555-564 10 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 1).

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

  • Non-well-founded Deduction for Induction and Coinduction

    Cohen, L., 1 Jan 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12699 LNAI).

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

    Open Access

  • On Finding Separators in Temporal Split and Permutation Graphs

    Maack, N., Molter, H., Niedermeier, R. & Renken, M., 1 Jan 2021, Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Proceedings. Bampis, E. & Pagourtzis, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 385-398 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12867 LNCS).

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

    3 Scopus citations

  • On the power of false negative awareness in indicator-based caching systems

    Cohen, I., Einziger, G. & Scalosub, G., 1 Jul 2021, Proceedings - 2021 IEEE 41st International Conference on Distributed Computing Systems, ICDCS 2021. Institute of Electrical and Electronics Engineers, p. 46-56 11 p. (Proceedings - International Conference on Distributed Computing Systems; vol. 2021-July).

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

    2 Scopus citations

  • On the Sample Complexity of Privately Learning Axis-Aligned Rectangles

    Sadigurschi, M. & Stemmer, U., 1 Jan 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. 28286-28297 12 p. (Advances in Neural Information Processing Systems; vol. 34).

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

    5 Scopus citations

  • Open bar – A brouwerian intuitionistic logic with a pinch of excluded middle

    Bickford, M., Cohen, L., Constable, R. L. & Rahli, V., 1 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).

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

    1 Scopus citations

  • Optimal Error Resilience of Adaptive Message Exchange

    Efremenko, K., Kol, G. & Saxena, R. R., 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. 1235-1247 13 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    3 Scopus citations

  • Optimal Stopping with Behaviorally Biased Agents: The Role of Loss Aversion and Changing Reference Points

    Kleinberg, J., Kleinberg, R. & Oren, S., 18 Jul 2021, Proceedings of the 22nd ACM Conference on Economics and Computation. p. 681-682 2 p.

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

  • Parallel VM Deployment with Provable Guarantees

    Cohen, I., Einziger, G., Goldstein, M., Sa'Ar, Y., Scalosub, G. & Waisbard, E., 9 Jul 2021, 2021Networking Conference, IFIP Networking 2021. Institute of Electrical and Electronics Engineers, p. 1-9 9472206

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

    4 Scopus citations

  • Parameterized Analysis of Assignment Under Multiple Preferences

    Steindl, B. & Zehavi, M., 20 Jul 2021, Multi-Agent Systems: 18th European Conference, EUMAS 2021, Revised Selected Papers. Rosenfeld, A. & Talmon, N. (eds.). Cham: Springer, p. 160-177 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12802 LNAI).

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

    2 Scopus citations

  • Parameterized Complexity of Finding Subgraphs with Hereditary Properties on Hereditary Graph Classes

    Eppstein, D., Gupta, S. & Havvaei, E., 1 Jan 2021, Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Proceedings. Bampis, E. & Pagourtzis, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 217-229 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12867 LNCS).

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

    2 Scopus citations

  • Participatory Budgeting with Project Groups

    Jain, P., Sornat, K., Talmon, N. & Zehavi, M., 1 Jan 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z.-H. (ed.). International Joint Conferences on Artificial Intelligence, p. 276-282 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    8 Scopus citations

  • PDE-GCN: Novel Architectures for Graph Neural Networks Motivated by Partial Differential Equations

    Eliasof, M., Haber, E. & Treister, E., 1 Jan 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. 3836-3849 14 p. (Advances in Neural Information Processing Systems; vol. 5).

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

    70 Scopus citations

  • PolyDNN Polynomial Representation of NN for Communication-Less SMPC Inference

    Derbeko, P. & Dolev, S., 1 Jan 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 317-324 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

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

    1 Scopus citations

  • Polynomial Time k-Shortest Multi-criteria Prioritized and All-Criteria-Disjoint Paths: (Extended Abstract)

    Dinitz, Y., Dolev, S. & Kumar, M., 1 Jan 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 266-274 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

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

    2 Scopus citations

  • Preventing Fake News Propagation in Social Networks Using a Context Trust-Based Security Model

    Voloch, N., Gudes, E. & Gal-Oz, N., 1 Jan 2021, Network and System Security - 15th International Conference, NSS 2021, Proceedings. Yang, M., Chen, C. & Liu, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 100-115 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13041 LNCS).

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

    4 Scopus citations

  • Prioritized test generation guided by software fault prediction

    Hershkovich, E., Stern, R., Abreu, R. & Elmishali, A., 1 Apr 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. Institute of Electrical and Electronics Engineers, p. 218-225 8 p. 9440144. (Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021).

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

    3 Scopus citations

  • Probabilistic Programs with Stochastic Conditioning

    Tolpin, D., Zhou, Y., Rainforth, T. & Yang, H., 1 Jan 2021, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. ML Research Press, p. 10312-10323 12 p. (Proceedings of Machine Learning Research; vol. 139).

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

    2 Scopus citations

  • Quadratic Secret Sharing and Conditional Disclosure of Secrets

    Beimel, A., Othman, H. & Peter, N., 1 Jan 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. 748-778 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 proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Randomly Rotate Qubits, Compute and Reverse for Weak Measurements Resilient QKD and Securing Entanglement: (Extended Abstract)

    Bitan, D. & Dolev, S., 1 Jan 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 196-204 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

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

  • SALSA: Self-adjusting lean streaming analytics

    Basat, R. B., Einziger, G., Mitzenmacher, M. & Vargaftik, S., 1 Apr 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. Institute of Electrical and Electronics Engineers, p. 864-875 12 p. 9458734. (Proceedings - International Conference on Data Engineering; vol. 2021-April).

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

    Open Access
    21 Scopus citations