Faculty of Mathematics and Computer Science

Research output

Research output per year 1973 2005 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 3380 Article
• 715 Conference contribution
• 454 Conference article
• 196 Chapter
• 433 More
  • 128 Paper
  • 102 Meeting Abstract
  • 65 Review article
  • 30 Editorial
  • 27 Book
  • 27 Patent
  • 22 Comment/debate
  • 14 Letter
  • 14 Short survey
  • 1 Report
  • 1 Entry for encyclopedia/dictionary
  • 1 Foreword/postscript
  • 1 Special issue

Research output per year

Research output per year

Search results

• 2016

  3-Message Zero Knowledge Against Human Ignorance

  Bitansky, N., Brakerski, Z., Kalai, Y., Paneth, O. & Vaikuntanathan, V., 2016, In: THEORY OF CRYPTOGRAPHY, TCC 2016-B, PT I. 9985, p. 57-83

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Hash functions 100%
  • Random access storage 46%
  • Cryptography 34%
  • Polynomials 32%
  10 Citations (Scopus)

• Branching random walks and Gaussian fields

  Zeitouni, O., 2016, In: PROBABILITY AND STATISTICAL PHYSICS IN ST. PETERSBURG. 91, p. 437-471 35 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Branching Random Walk 100%
  • Gaussian Fields 99%
  • Extremum 79%

• Cinema 3D: Large Scale Automultiscopic Display

  Efrat, N., Didyk, P., Foshey, M., Matusik, W. & Levin, A., Jul 2016, In: ACM Transactions on Graphics. 35, 4, 12 p., 59.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Display devices 100%
  • Seats 68%
  • Glass 17%
  • Wear of materials 15%
  • Geometry 13%
  13 Citations (Scopus)

• Direct single-shot phase retrieval for separated objects (Conference Presentation)

  Leshem, B., Xu, R., Miao, J., Nadler, B., Oron, D., Dudovich, N. & Raz, O., 2016, In: Quantitative Phase Imaging II. 9718, UNSP 97182S.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Phase Retrieval 100%
  • Holography 94%
  • Microscopic examination 72%
  • retrieval 70%
  • shot 64%

• Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems

  Greenyer, J., Gritzner, D., Katz, G., Marron, A., Glade, N., Gutjahr, T. & Konig, F., 2016, In: 3RD INTERNATIONAL CONFERENCE ON SYSTEM-INTEGRATED INTELLIGENCE: NEW CHALLENGES FOR PRODUCT AND PRODUCTION ENGINEERING. 26, p. 552-559

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Cyber Physical System 100%
  • Specifications 57%
  • Smart city 32%
  • Broadcasting 30%

• Fast Learning Requires Good Memory: A Time-Space Lower Bound for Parity Learning

  Raz, R., 2016, In: 2016 IEEE 57TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS). p. 266-275

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Cryptography 100%
  • Data storage equipment 73%
  25 Citations (Scopus)

• How to Incentivize Data-Driven Collaboration Among Competing Parties

  Azar, PD., Goldwasser, S. & Park, S., 2016, In: ITCS'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INNOVATIONS IN THEORETICAL COMPUTER SCIENCE. p. 213-225

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Joining 100%
  • Genomics 53%
  • Deep learning 45%
  • Polynomials 39%
  • Availability 36%
  4 Citations (Scopus)

• Is There an Oblivious RAM Lower Bound?

  Boyle, E. & Naor, M., 2016, In: ITCS'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INNOVATIONS IN THEORETICAL COMPUTER SCIENCE. p. 357-368

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Random access storage 100%
  • Simulators 66%
  • Networks (circuits) 33%
  • Bins 33%
  • Sorting 29%
  53 Citations (Scopus)

• Lattice-Based Fully Dynamic Multi-key FHE with Short Ciphertexts

  Brakerski, Z. & Perlman, R., 2016, In: ADVANCES IN CRYPTOLOGY - CRYPTO 2016, PT I. 9814, p. 190-213 24 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Cryptography 100%
  • Hardness 95%
  • Polynomials 93%
  • Homomorphic 89%
  • Set theory 77%
  99 Citations (Scopus)

• Leakage Resilient One-Way Functions: The Auxiliary-Input Setting

  Komargodski, I., 2016, In: THEORY OF CRYPTOGRAPHY, TCC 2016-B, PT I. 9985, p. 139-158

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Resilient Functions 100%
  • Leakage 89%
  • One-way Function 89%
  • Random Oracle Model 7%
  • Invert 7%
  7 Citations (Scopus)

• Needle-Match: Reliable Patch Matching under High Uncertainty

  Lotan, O. & Irani, M., 2016, In: 2016 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CPVR). p. 439-448 10 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Needles 100%
  • Uncertainty 59%
  • Image quality 58%
  • Degradation 44%
  22 Citations (Scopus)

• Obfuscating Conjunctions under Entropic Ring LWE

  Brakerski, Z., Vaikuntanathan, V., Wee, H. & Wichs, D., 2016, In: ITCS'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INNOVATIONS IN THEORETICAL COMPUTER SCIENCE. p. 147-156

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Learning 100%
  • Ring 70%
  • Black Box 62%
  • Oracle 28%
  • Hardness 27%
  40 Citations (Scopus)

• On Summation of the Taylor Series of the Function 1/(1-z) by the Theta Summation Method

  Katsnelson, V., 2016, In: COMPLEX ANALYSIS AND DYNAMICAL SYSTEMS VI, PT 2: COMPLEX ANALYSIS, QUASICONFORMAL MAPPINGS, COMPLEX DYNAMICS. 667, p. 141-157 17 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Taylor series 100%
  • Summation 88%
  • Vertical 83%
  • Pi 46%
  • Limiting Behavior 25%

• On the Space Complexity of Linear Programming with Preprocessing

  Kalai, YT., Raz, R. & Regev, O., 2016, In: ITCS'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INNOVATIONS IN THEORETICAL COMPUTER SCIENCE. p. 293-300

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Linear programming 100%
  • Approximation algorithms 58%
  • Hardness 42%
  • Polynomials 41%
  • Communication 27%
  6 Citations (Scopus)

• On Whittaker-Fourier coefficients of automorphic forms on unitary groups: reduction to a local identity

  Lapid, E. & Mao, Z., 2016, In: ADVANCES IN THE THEORY OF AUTOMORPHIC FORMS AND THEIR L-FUNCTIONS. 664, p. 295-320 26 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Descent Method 100%
  • Automorphic Forms 97%
  • Unitary group 85%
  • Fourier coefficients 80%
  • Analogue 51%
  5 Citations (Scopus)

• Targeted Homomorphic Attribute-Based Encryption

  Brakerski, Z., Cash, D., Tsabary, R. & Wee, H., 2016, In: THEORY OF CRYPTOGRAPHY, TCC 2016-B, PT II. 9986, p. 330-360

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Cryptography 100%
  • Hardness 63%
  • Polynomials 62%
  42 Citations (Scopus)

• Threshold Secret Sharing Requires a Linear Size Alphabet

  Bogdanov, A., Guo, SY. & Komargodski, I., 2016, In: THEORY OF CRYPTOGRAPHY, TCC 2016-B, PT II. 9986, p. 471-484

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Secret Sharing 100%
  • Secret Sharing Scheme 93%
  • Threshold Scheme 35%
  • Access Structure 34%
  • Simple Game 34%
  17 Citations (Scopus)

• Tight Bounds for Gomory-Hu-like Cut Counting

  Chitnis, R., Kamma, L. & Krauthgamer, R., 2016, In: GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, WG 2016. 9941, p. 133-144

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Redundancy 100%
  • Counting 76%
  • Minimum Cut 40%
  • Subset 33%
  • Demand 29%
  4 Citations (Scopus)

• Time-Lock Puzzles from Randomized Encodings

  Bitansky, N., Goldwasser, S., Jain, A., Paneth, O., Vaikuntanathan, V. & Waters, B., 2016, In: ITCS'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INNOVATIONS IN THEORETICAL COMPUTER SCIENCE. p. 345-356

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Flavors 100%
  • Hardness 60%
  • Networks (circuits) 42%
  76 Citations (Scopus)

• Whittaker rational structures and special values of the Asai L-function

  Grobner, H., Harris, M. & Lapid, E., 2016, In: ADVANCES IN THE THEORY OF AUTOMORPHIC FORMS AND THEIR L-FUNCTIONS. 664, p. 119-134 16 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • L-function 100%
  • Automorphic Representations 61%
  • Number field 44%
  • Cohomology 39%
  • Generalise 26%
  10 Citations (Scopus)
• 2015

  Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract)

  Goldreich, O., Gur, T. & Rothblum, R. D., 2015, In: Automata, Languages, and Programming, Pt I. 9134, p. 666-677 12 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Context free languages 100%
  • Branching Programs 91%
  • Context-free Languages 78%
  • Proximity 70%
  • Testing 34%
  13 Citations (Scopus)

• Social Network Analysis of Program Committees and Paper Acceptance Fairness

  Avin, C., Lotker, Z., Peleg, D. & Turkel, I., 2015, In: PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2015). p. 488-495 8 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Electric network analysis 100%
  3 Citations (Scopus)

• Zero-Fixing Extractors for Sub-Logarithmic Entropy

  Cohen, G. & Shinkar, I., 2015, In: Automata, Languages, and Programming, Pt I. 9134, p. 343-354 12 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Extractor 100%
  • Entropy 60%
  • Logarithmic 60%
  • Zero 36%
  • Output 17%
  3 Citations (Scopus)
• 2014

  How Did Dread Pirate Roberts Acquire and Protect his Bitcoin Wealth?

  Ron, D. & Shamir, A., 2014, In: FINANCIAL CRYPTOGRAPHY AND DATA SECURITY: FC 2014 WORKSHOPS, BITCOIN AND WAHC 2014. 8438, p. 3-15 13 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Bitcoin 100%
  • Person 49%
  • Trace 38%
  • Silk 38%
  • Exchange rate 33%
  24 Citations (Scopus)

• Quantum dots: Using the known as well as exploring the unknown

  Tenne, R., Schwartz, O., Teitelboim, A., Rukenstein, P., Levitt, JM., Mokari, T. & Oron, D., 2014, In: PHYSICAL CHEMISTRY OF INTERFACES AND NANOMATERIALS XIII. 9165, 9 p., 916519.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Quantum Dots 100%
  • Super-resolution 69%
  • Diffraction 65%
  • Quantum Dot 54%
  • quantum dots 47%

• Using Random Error Correcting Codes in Near-Collision Attacks on Generic Hash-Functions

  Polak, I. & Shamir, A., 2014, In: PROGRESS IN CRYPTOLOGY - INDOCRYPT 2014. 8885, p. 219-236 18 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Collision Attack 100%
  • Random errors 69%
  • Hash Function 68%
  • Random Error 65%
  • Hash functions 65%
  1 Citation (Scopus)
• 2013

  Fault-tolerant compact routing schemes for general graphs

  Chechik, S., Jan 2013, In: Information and Computation. 222, p. 36-44 9 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Fault-tolerant 100%
  • Routing 86%
  • Graph in graph theory 36%
  • Directly proportional 27%
  • Fault-tolerant Routing 26%
  14 Citations (Scopus)

• Improved Average-Case Lower Bounds for DeMorgan Formula Size

  Komargodski, I., Raz, R. & Tal, A., 2013, In: IEEE Annual Symposium on Foundations of Computer Science (FOCS). p. 588-597 10 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Extractor 100%
  • Lower bound 95%
  • Shrinkage 81%
  • Simplify 65%
  • Restriction 48%
  34 Citations (Scopus)

• Reconstruction of Planar Domains from Partial Integral Measurements

  Batenkov, D., Golubyatnikov, V. & Yomdin, Y., 2013, In: Complex Analysis And Dynamical Systems V. 591, p. 51-66 16 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Partial 100%
  • Moment 76%
  • Harmonic Polynomials 49%
  • Separation of Variables 41%
  • Piecewise Polynomials 40%
• 2012

  A Software Engineering Framework for Switched Fuzzy Systems

  Harel, D., Marron, A., Nissim, A. & Weiss, G., 2012, In: 2012 Ieee International Conference On Fuzzy Systems (Fuzz-Ieee). 9 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Software Engineering 100%
  • Switched Systems 82%
  • Fuzzy Systems 76%
  • Fuzzy systems 69%
  • Programming 61%
  2 Citations (Scopus)

• A Strong Parallel Repetition Theorem for Projection Games on Expanders

  Raz, R. & Rosen, R., 2012, In: 2012 Ieee 27Th Annual Conference On Computational Complexity (Ccc). p. 247-257 11 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Expander 100%
  • Repetition 90%
  • Repeated Games 69%
  • Game 63%
  • Projection 58%
  11 Citations (Scopus)

• Non-Malleable Extractors with Short Seeds and Applications to Privacy Amplification

  Cohen, G., Raz, R. & Segev, G., 2012, In: 2012 Ieee 27Th Annual Conference On Computational Complexity (Ccc). p. 298-308 11 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Extractor 100%
  • Privacy 92%
  • Amplification 88%
  • Seed 74%
  • Entropy 20%
  17 Citations (Scopus)

• Sensitivity Estimates Via Lyapunov Functions and Lyapunov Metrics

  Artstein, Z., 2012, In: Optimization Theory And Related Topics. 568, p. 1-17 17 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Lyapunov 100%
  • Lyapunov Function 96%
  • Metric 70%
  • Estimate 48%
  • Contraction 44%
• 2011

  A computational model reveals that the face domain of macaque inferotemporal cortex (IT) represents multiple visual features

  Owaki, T., Vidal-Naquet, M., Sato, T., Cateau, H., Ullman, S. & Tanifuji, M., 2011, In: Neuroscience Research. 71, p. E71-E71 1 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Macaca 100%
  • Neurosciences 95%
  36 Citations (Scopus)

• Efficient Fully Homomorphic Encryption from (Standard) LWE

  Brakerski, Z. & Vaikuntanathan, V., 2011, In: 2011 Ieee 52Nd Annual Symposium On Foundations Of Computer Science (Focs 2011). p. 97-106 10 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Cryptography 100%
  • Network protocols 41%
  • Linearization 30%
  • Information retrieval 29%
  • Hardness 23%
  817 Citations (Scopus)
• 2010

  A lower bound for dynamic approximate membership data structures

  Lovett, S. & Porat, E., 2010, In: 2010 Ieee 51St Annual Symposium On Foundations Of Computer Science. p. 797-804 8 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Data structures 100%
  • Entropy 43%
  • Data storage equipment 21%
  18 Citations (Scopus)

• Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's

  Harel, D., 2010, In: 25Th Annual Ieee Symposium On Logic In Computer Science (Lics 2010). p. 57-57 1 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Computer science 100%
  • Computer Science 94%

• Backyard Cuckoo Hashing: Constant Worst-Case Operations with a Succinct Representation

  Arbitman, Y., Naor, M. & Segev, G., 2010, In: 2010 Ieee 51St Annual Symposium On Foundations Of Computer Science. p. 787-796 10 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Glossaries 100%
  • Data storage equipment 20%
  77 Citations (Scopus)

• Derandomized Parallel Repetition of Structured PCPs

  Dinur, I. & Meir, O., 2010, In: 25Th Annual Ieee Conference On Computational Complexity - Ccc 2010. p. 16-27 12 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Repetition 100%
  • Soundness 49%
  • Direct Product 29%
  • Query 28%
  • De Bruijn Graph 21%
  7 Citations (Scopus)

• Detecting and Sketching the Common

  Bagon, S., Brostovski, O., Galun, M. & Irani, M., 2010, In: 2010 Ieee Conference On Computer Vision And Pattern Recognition (Cvpr). p. 33-40 8 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review
  36 Citations (Scopus)

• Linear View Synthesis Using a Dimensionality Gap Light Field Prior

  Levin, A. & Durand, F., 2010, In: 2010 Ieee Conference On Computer Vision And Pattern Recognition (Cvpr). p. 1831-1838 8 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Deconvolution 100%
  • Computer graphics 93%
  • Computer vision 73%
  152 Citations (Scopus)

• Overcoming the Hole in the Bucket: Public-Key Cryptography Resilient to Continual Memory Leakage

  Brakerski, Z., Kalai, Y. T., Katz, J. & Vaikuntanathan, V., 2010, In: 2010 Ieee 51St Annual Symposium On Foundations Of Computer Science. p. 501-510 10 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Cryptography 100%
  • Encryption 96%
  • Leakage 84%
  • Digital Signature 37%
  • Construction Work 32%
  194 Citations (Scopus)

• Parallel Repetition of Two Prover Games

  Raz, R., 2010, In: 25Th Annual Ieee Conference On Computational Complexity - Ccc 2010. p. 3-6 4 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Repetition 100%
  • Computer science 87%
  • Physics 75%
  • Game 70%
  • Computer Science 27%
  5 Citations (Scopus)

• Pseudorandom generators for CC0[p] and the Fourier spectrum of low-degree polynomials over finite fields

  Lovett, S., Mukhopadhyay, P. & Shpilka, A., 2010, In: 2010 Ieee 51St Annual Symposium On Foundations Of Computer Science. p. 695-704 10 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Fourier Spectrum 100%
  • Pseudorandom Generator 95%
  • Galois field 57%
  • Polynomial 36%
  • Regular hexahedron 32%
  3 Citations (Scopus)

• Replacement Paths via Fast Matrix Multiplication

  Weimann, O. & Yuster, R., 2010, In: 2010 Ieee 51St Annual Symposium On Foundations Of Computer Science. p. 655-662 8 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Matrix multiplication 100%
  • Replacement 84%
  • Path 57%
  • Weighted Graph 25%
  • Oracle 25%
  24 Citations (Scopus)

• The chains model for detecting parts by their context

  Karlinsky, L., Dinerstein, M., Harari, D. & Ullman, S., 2010, In: 2010 Ieee Conference On Computer Vision And Pattern Recognition (Cvpr). p. 25-32 8 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Object detection 100%
  • Target tracking 92%
  65 Citations (Scopus)

• THE COMPLEXITY OF BOOLEAN FUNCTIONS IN DIFFERENT CHARACTERISTICS

  Gopalan, P., Lovett, S. & Shpilka, A., May 2010, In: Computational Complexity. 19, 2, p. 235-263 29 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Boolean Functions 100%
  • Modulo 84%
  • Multivariate Polynomials 16%
  • Polynomial 15%
  • Hypercube 14%
  6 Citations (Scopus)

• THE CRITICAL EXPONENT OF THE ARSHON WORDS

  Krieger, D., Jan 2010, In: Rairo-Theoretical Informatics And Applications. 44, 1, p. 139-150 12 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Critical Exponents 100%
  • Exponent 72%
  3 Citations (Scopus)

• Time resolved extraction of receptive fields

  Vidal-Naquet, M. J., Tanifuji, M., Maldonado, P., Ullman, S. & Gruen, S., 2010, In: Neuroscience Research. 68, p. E380-E380 1 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Neurosciences 100%
• 2009

  4D Frequency Analysis of Computational Cameras for Depth of Field Extension

  Levin, A., Hasinoff, S. W., Green, P., Durand, F. & Freeman, W. T., Aug 2009, In: ACM Transactions on Graphics. 28, 3, 14 p.

  Research output: Contribution to journal › Meeting Abstract › peer-review

  • Power spectrum 100%
  • Deconvolution 71%
  • Imaging systems 65%
  • Cameras 65%
  • Lenses 62%
  111 Citations (Scopus)