Filter
Conference contribution

Search results

  • 2020

    How to find a point in the convex hull privately

    Kaplan, H., Sharir, M. & Stemmer, U., 1 Jun 2020, 36th International Symposium on Computational Geometry, SoCG 2020. Cabello, S. & Chen, D. Z. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, LIPIcs-SoCG-2020-52. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

    5 Scopus citations
  • I Know What You Did Last Summer: Network Monitoring using Interval Queries

    Ivkin, N., Basat, R. B., Liu, Z., Einziger, G., Friedman, R. & Braverman, V., 8 Jun 2020, SIGMETRICS Performance 2020 - Abstracts of the 2020 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems. Association for Computing Machinery, Inc, p. 61-62 2 p.

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

    Open Access
    3 Scopus citations
  • Incremental symmetry breaking constraints for graph search problems

    Itzhakov, A. & Codish, M., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 1536-1543 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

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

    2 Scopus citations
  • Integrating Induction and Coinduction via Closure Operators and Proof Cycles

    Cohen, L. & Rowe, R. N. S., 1 Jan 2020, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 375-394 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

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

    Open Access
    3 Scopus citations
  • Interactive coding with constant round and communication blowup

    Efremenko, K., Haramaty, E. & Kalai, Y. T., 1 Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    3 Scopus citations
  • Interactive error resilience beyond 2/7

    Efremenko, K., Kol, G. & Saxena, R. R., 8 Jun 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 565-578 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    4 Scopus citations
  • Invited Paper: Reactive PLS for Distributed Decision

    Chen, J., Dolev, S. & Kutten, S., 1 Jan 2020, Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings. Devismes, S. & Mittal, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 81-96 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12514 LNCS).

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

  • Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency

    Bitan, D. & Dolev, S., 1 Jan 2020, Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings. Devismes, S. & Mittal, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 16-28 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12514 LNCS).

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

  • Learning and solving regular decision processes

    Abadi, E. & Brafman, R. I., 1 Jan 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1948-1954 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    9 Scopus citations
  • Learning interpretable models in the property specification language

    Roy, R., Fisman, D. & Neider, D., 1 Jan 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 2213-2219 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    13 Scopus citations
  • Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity

    Baig, M. A., Hendler, D., Milani, A. & Travers, C., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 31-40 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    Open Access
    2 Scopus citations
  • Lossless prioritized embeddings

    Elkin, M. & Neiman, O., 1 Jan 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 1049-1062 14 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

    2 Scopus citations
  • Minimizing Total Interference in Asymmetric Sensor Networks

    Abu-Affash, A. K., Carmi, P. & Katz, M. J., 1 Jan 2020, Algorithms for Sensor Systems - 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Revised Selected Papers. Pinotti, C. M., Navarra, A. & Bagchi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12503 LNCS).

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

    Open Access
  • Multi-directional heuristic search

    Atzmon, D., Li, J., Felner, A., Nachmani, E., Shperberg, S., Sturtevant, N. & Koenig, S., 1 Jan 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4062-4068 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    8 Scopus citations
  • Multi-directional search

    Atzmon, D., Li, J., Felner, A., Nachmani, E., Shperberg, S., Sturtevant, N. & Koenig, S., 1 Jan 2020, Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020. Harabor, D. & Vallati, M. (eds.). The AAAI Press, p. 121-122 2 p. (Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020).

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

  • Near optimal network-wide per-flow measurement

    Ben Basat, R., Einziger, G. & Tayh, B., 1 Jul 2020, IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020. Institute of Electrical and Electronics Engineers, p. 1294-1295 2 p. 9162961. (IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020).

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

    1 Scopus citations
  • Noisy Beeps

    Efremenko, K., Kol, G. & Saxena, R. R., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 418-427 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    7 Scopus citations
  • Non-Asymptotic Performance Analysis of Size-Based Routing Policies

    Bachmat, E. & Doncel, J., 17 Nov 2020, Proceedings - 2020 IEEE 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2020. Institute of Electrical and Electronics Engineers, 9285943. (Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS; vol. 2020-November).

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

    Open Access
    1 Scopus citations
  • Non-Crossing Matching of Online Points

    Bose, P., Carmi, P., Durocher, S., Kamali, S. & Sajadpour, A., 2020, Proceedings of the 32nd Canadian Conference on Computational Geometry, CCCG 2020, August 5-7, 2020, University of Saskatchewan, Saskatoon, Saskatchewan, Canada. Keil, J. M. & Mondal, D. (eds.). p. 233-239 7 p.

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

  • NTIRE 2020 challenge on spectral reconstruction from an RGB image

    Arad, B., Timofte, R., Ben-Shahar, O., Lin, Y. T., Finlayson, G., Givati, S., Li, J., Wu, C., Song, R., Li, Y., Liu, F., Lang, Z., Wei, W., Zhang, L., Nie, J., Zhao, Y., Po, L. M., Yan, Q., Liu, W., Lin, T., & 28 othersKim, Y., Shin, C., Rho, K., Kim, S., Zhu, Z., Hou, J., Sun, H., Ren, J., Fang, Z., Yan, Y., Peng, H., Chen, X., Zhao, J., Stiebel, T., Koppers, S., Merhof, D., Gupta, H., Mitra, K., Fubara, B. J., Sedky, M., Dyke, D., Banerjee, A., Palrecha, A., Sabarinathan, S., Uma, K., Vinothini, D. S., Sathya Bama, B. & Md Mansoor Roomi, S. M., 1 Jun 2020, Proceedings - 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2020. Institute of Electrical and Electronics Engineers, p. 1806-1822 17 p. 9150756. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops; vol. 2020-June).

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

    Open Access
    114 Scopus citations
  • One-one constrained pseudorandom functions

    Peter, N., Tsabary, R. & Wee, H., 1 Jun 2020, 1st Conference on Information-Theoretic Cryptography, ITC 2020. Kalai, Y. T., Smith, A. D. & Wichs, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 163).

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

  • On the (parameterized) complexity of almost stable marriage

    Gupta, S., Jain, P., Roy, S., Saurabh, S. & Zehavi, M., 1 Dec 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020. Saxena, N. & Simon, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 182).

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

    6 Scopus citations
  • On the differences and similarities of fMM and GBFHS

    Shperberg, S. S. & Felner, A., 1 Jan 2020, Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020. Harabor, D. & Vallati, M. (eds.). The AAAI Press, p. 66-74 9 p. (Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020).

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

    2 Scopus citations
  • On the round complexity of the shuffle model

    Beimel, A., Haitner, I., Nissim, K. & Stemmer, U., 1 Jan 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 683-712 30 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

    Open Access
    2 Scopus citations
  • On the Streaming Indistinguishability of a Random Permutation and a Random Function

    Dinur, I., 1 Jan 2020, Advances in Cryptology – EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Canteaut, A. & Ishai, Y. (eds.). Springer, p. 433-460 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12106 LNCS).

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

    3 Scopus citations
  • Out of oddity – new cryptanalytic techniques against symmetric primitives optimized for integrity proof systems

    Beyne, T., Canteaut, A., Dinur, I., Eichlseder, M., Leander, G., Leurent, G., Naya-Plasencia, M., Perrin, L., Sasaki, Y., Todo, Y. & Wiemer, F., 1 Jan 2020, Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, Proceedings. Micciancio, D. & Ristenpart, T. (eds.). Springer, p. 299-328 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12172 LNCS).

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

    Open Access
    21 Scopus citations
  • Parameter analysis for guarding terrains

    Agrawal, A., Kolay, S. & Zehavi, M., 1 Jun 2020, 17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020. Albers, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 162).

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

    2 Scopus citations
  • Parameterization above a multiplicative guarantee

    Fomin, F. V., Golovach, P. A., Lokshtanov, D., Panolan, F., Saurabh, S. & Zehavi, M., 1 Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    6 Scopus citations
  • Parameterized analysis of art gallery and terrain guarding

    Zehavi, M. & Agrawal, A., 1 Jan 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ed.). Springer, p. 16-29 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12159 LNCS).

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

    4 Scopus citations
  • Parameterized complexity and approximability of directed odd cycle transversal

    Lokshtanov, D., Ramanujan, M. S., Saurabh, S. & Zehavi, M., 1 Jan 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 2181-2200 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

    29 Scopus citations
  • Parameterized Complexity of Maximum Edge Colorable Subgraph

    Agrawal, A., Kundu, M., Sahu, A., Saurabh, S. & Tale, P., 1 Jan 2020, Computing and Combinatorics - 26th International Conference, COCOON 2020, Proceedings. Kim, D., Uma, R. N., Cai, Z. & Lee, D. H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 615-626 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12273 LNCS).

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

    Open Access
    2 Scopus citations
  • Parameterized study of steiner tree on unit disk graphs

    Bhore, S., Carmi, P., Kolay, S. & Zehavi, M., 1 Jun 2020, 17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020. Albers, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 162).

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

    1 Scopus citations
  • Patience Control: A Modular and Dynamic Construction of Composite Controllers

    Sadon, A., Arogeti, S. & Weiss, G., 29 Jun 2020, 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020. Institute of Electrical and Electronics Engineers, p. 975-981 7 p. 9263831. (7th International Conference on Control, Decision and Information Technologies, CoDIT 2020).

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

  • Planar bichromatic bottleneck spanning trees

    Abu-Affash, A. K., Bhore, S., Carmi, P. & Mitchell, J. S. B., 1 Aug 2020, 28th Annual European Symposium on Algorithms, ESA 2020. Grandoni, F., Herman, G. & Sanders, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 173).

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

  • Polynomial Identification of ω-Automata

    Angluin, D., Fisman, D. & Shoval, Y., 1 Jan 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 325-343 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

    Open Access
    3 Scopus citations
  • Poster abstract: Parallel VM placement with provable guarantees

    Cohen, I., Einziger, G., Goldstein, M., Sa'Ar, Y., Scalosub, G. & Waisbard, E., 1 Jul 2020, IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020. Institute of Electrical and Electronics Engineers, p. 1298-1299 2 p. 9162912. (IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020).

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

  • Private k-Means Clustering with Stability Assumptions

    Shechner, M., Sheffet, O. & Stemmer, U., 26 Aug 2020, Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics. Chiappa, S. & Calandra, R. (eds.). PMLR, Vol. 108. p. 2518-2528 11 p. (Proceedings of Machine Learning Research).

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

    4 Scopus citations
  • Privately Learning Thresholds: Closing the Exponential Gap

    Kaplan, H., Ligett, K., Mansour, Y., Naor, M. & Stemmer, U., 2020, Conference on Learning Theory, COLT 2020, 9-12 July 2020, Virtual Event [Graz, Austria]. Abernethy, J. D. & Agarwal, S. (eds.). PMLR, Vol. 125. p. 2263-2285 23 p. (Proceedings of Machine Learning Research).

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

    29 Scopus citations
  • Probabilistic Models of Psychological Aspects in Computer-based Social Interactions

    Dolev, S., Frenkel, S., Cwikel, J. & Zakharov, V., 1 Jun 2020, Proceedings - 2020 International Conference Engineering Technologies and Computer Science, EnT 2020. Prokhorov, S. (ed.). Institute of Electrical and Electronics Engineers, p. 133-139 7 p. 9140724. (Proceedings - 2020 International Conference Engineering Technologies and Computer Science, EnT 2020).

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

  • PUA detection based on bundle installer characteristics

    Lukach, A., Gudes, E. & Shabtai, A., 1 Jan 2020, Data and Applications Security and Privacy - 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Proceedings. Singhal, A. & Vaidya, J. (eds.). Springer, p. 261-273 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12122 LNCS).

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

    Open Access
  • Reinforcement learning with non-markovian rewards

    Gaon, M. & Brafman, R. I., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 3980-3987 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

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

    42 Scopus citations
  • Simple Distributed Spanners in Dense Congest Networks

    Barenboim, L. & Maimon, T., 1 Jan 2020, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings. Chatzigeorgiou, A., Dondi, R., Herodotou, H., Kapoutsis, C., Manolopoulos, Y., Papadopoulos, G. A. & Sikora, F. (eds.). Springer, p. 260-272 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

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

    1 Scopus citations
  • SodsBC: Stream of Distributed Secrets for Quantum-safe Blockchain

    Dolev, S. & Wang, Z., 1 Nov 2020, Proceedings - 2020 IEEE International Conference on Blockchain, Blockchain 2020. Institute of Electrical and Electronics Engineers, p. 247-256 10 p. 9284768. (Proceedings - 2020 IEEE International Conference on Blockchain, Blockchain 2020).

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

    11 Scopus citations
  • SodsMPC: FSM based Anonymous and Private Quantum-safe Smart Contracts

    Dolev, S. & Wang, Z., 24 Nov 2020, 2020 IEEE 19th International Symposium on Network Computing and Applications, NCA 2020. Gkoulalas-Divanis, A., Marchetti, M. & Avresky, D. R. (eds.). Institute of Electrical and Electronics Engineers, 9306699. (2020 IEEE 19th International Symposium on Network Computing and Applications, NCA 2020).

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

    6 Scopus citations
  • Strongly unambiguous Büchi automata are polynomially predictable with membership queries

    Angluin, D., Antonopoulos, T. & Fisman, D., 1 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 152).

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

  • Terrain-Like Graphs: PTASs for Guarding Weakly-Visible Polygons and Terrains

    Ashur, S., Filtser, O., Katz, M. J. & Saban, R., 1 Jan 2020, Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Revised Selected Papers. Bampis, E. & Megow, N. (eds.). Springer, p. 1-17 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11926 LNCS).

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

    2 Scopus citations
  • The HHD Dataset

    Rabaev, I., Kurar Barakat, B., Churkin, A. & El-Sana, J., 1 Sep 2020, Proceedings - 2020 17th International Conference on Frontiers in Handwriting Recognition, ICFHR 2020. Institute of Electrical and Electronics Engineers, p. 228-233 6 p. 9257619. (Proceedings of International Conference on Frontiers in Handwriting Recognition, ICFHR; vol. 2020-September).

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

    6 Scopus citations
  • The parameterized complexity of guarding almost convex polygons

    Agrawal, A., Knudsen, K. V. K., Lokshtanov, D., Saurabh, S. & Zehavi, M., 1 Jun 2020, 36th International Symposium on Computational Geometry, SoCG 2020. Cabello, S. & Chen, D. Z. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, LIPIcs-SoCG-2020-3. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

    7 Scopus citations
  • The power of synergy in differential privacy: Combining a small curator with local randomizers

    Beimel, A., Korolova, A., Nissim, K., Sheffet, O. & Stemmer, U., 1 Jun 2020, 1st Conference on Information-Theoretic Cryptography, ITC 2020. Kalai, Y. T., Smith, A. D. & Wichs, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 163).

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

    4 Scopus citations
  • The share size of secret-sharing schemes for almost all access structures and graphs

    Beimel, A. & Farràs, O., 1 Jan 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 499-529 31 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

    6 Scopus citations