Publications
updated: 29.09.2025
The Blavatnik ICRC prides itself on facilitating interdisciplinary and global cyber scientific research.
The cumulative research outputs of the research funded are provided below in annual tabs.
2020
| Year | Authors | Title | Publication |
|---|---|---|---|
| 2020 | Albert E. ; Grossman S. ; Rinetzky N. ; Rodríguez-Núñez C. ; Rubio A. ; Sagiv M. | Taming callbacks for smart contract modularity | Proceedings of the ACM on Programming Languages |
| 2020 | Beimel A. ; Haitner I. ; Nissim K. ; Stemmer U. | On the round complexity of the shuffle model | Theory of Cryptography (TCC 2020) |
| 2020 | Bitansky N. ; Eizenstadt N. ; Paneth O. | Weakly Extractable One-Way Functions | Theory of Cryptography (TCC 2020) |
| 2020 | Chiesa A. ; Yogev E. | Barriers for Succinct Arguments in the Random Oracle Model | Theory of Cryptography (TCC 2020) |
| 2020 | Hatuka T. ; Zur H. | From smart cities to smart social urbanism: A framework for shaping the socio-technological ecosystems in cities | Telematics and Informatics |
| 2020 | Ish-Shalom O. ; Itzhaky S. ; Manevich R. ; Rinetzky N. | Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation | Verification, Model Checking, and Abstract Interpretation (VMCAI 2020) |
| 2020 | Ish-Shalom O. ; Itzhaky S. ; Rinetzky N. ; Shoham S. | Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction | Verification, Model Checking, and Abstract Interpretation (VMCAI 2020) |
| 2020 | Liran Katzir ; Clara Shikhelman ; Eylon Yogev | Interactive Proofs for Social Graphs | Advances in Cryptology – CRYPTO 2020 Proceedings, Part III |
| 2020 | Markevich NG. ; Wool A. | Hardware Fingerprinting for the ARINC 429 Avionic Bus | arXiv preprint arXiv:2003.12456 |
| 2020 | Salhov M. ; Lindenbaum O. ; Aizenbud Y. ; Silberschatz A. ; Shkolnisky Y. ; Averbuch A. | Multi-view kernel consensus for data analysis | Applied and Computational Harmonic Analysis |
| 2020 | Sternberg N. ; Luria R. ; Chandhok S. ; Vickers B. ; Kross E. ; Sheppes G. | When facebook and finals collide - procrastinatory social media usage predicts enhanced anxiety☆ | Computers in Human Behavior |
| 2020 | Trabish D. ; Kapus T. ; Rinetzky N. ; Cadar C. | Past-sensitive pointer analysis for symbolic execution | ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering |
