2018 MSC Theses

• MSC-2018-01 Yuval Dagan (Yuval Filmus): Twenty Questions Game Using Restricted Sets of Questions
• MSC-2018-02 Snir Cohen (Shie Mannor): Restricted Optimism
• MSC-2018-03 Dan Rasin (Orna Grumberg, Sharon Shoham): Modular Verification of Concurrent Programs via Sequential Model Checking
• MSC-2018-04 Hilal Asi (Eitan Yaakobi): Constructions of PIR and Batch Codes for Distributed Storage
• MSC-2018-05 Tamir Carmeli (Reuven Cohen): Detection of BGP Hijacking Using TTL Analysis
• MSC-2018-06 Roman Shor (Gala Yadgar, Eitan Yaakobi, Assaf Schuster): Efficiently Combining Confidentiality and Availability in Distributed Storage Systems
• MSC-2018-07 Tal Shor (Dan Geiger): SciLMM: Computing heritability with millions of individuals
• MSC-2018-08 Maya Levy (Eitan Yaakobi): Mutually Uncorrelated Codes for DNA Storage
• MSC-2018-09 Noam Ravid (Benny Kimelfeld): Ranked Enumeration of Tree Decompositions
• MSC-2018-10 Ali Tabaja (Reuven Cohen): A Network Layer Attack for the Price of a Physical Layer Attack in a Wireless Mesh Network with Application to RPL
• MSC-2018-11 Waseem Makhoul (Nader Bshouty): On Polynomial time Constructions of Minimum Height Decision Tree
• MSC-2018-12 Niv Hooker (Tuvi Etzion): On the existence of q-Fano Planes
• MSC-2018-13 Gili Yavneh (Hagit Attiya): Remote Memory References at Block Granularity
• MSC-2018-14 Amit Gross (Ran El-Yaniv): Usages of Selective Regression
• MSC-2018-15 Nahum Farchi (Mirela Ben-Chen): Integer-Only Cross Field Computation
• MSC-2018-16 Eden Saig (Eli Ben-Sasson): Modeling Collaborative Discovery
• MSC-2018-17 Uzi Cohen (Benny Kimelfeld): Query Engine System for Probabilistic Preferences
• MSC-2018-18 Yufei Zheng (Gill Barequet): Two Researches on Lattice Animals
• MSC-2018-19 Sa'ar Zehavi (Eyal Kushilevitz): On the Gap Between Deterministic Communication Complexity and the Partition Number
• MSC-2018-20 Majd Omari (Yuval Ishai): The Complexity of Identifying Cheaters
• MSC-2018-21 Gil Kupfer (Dan Tsafrir and Nadav Amit): IOMMU-resistant DMA attacks
• MSC-2018-22 Dan Elbaz (Michael Zibulevsky): Speech Signals Frequency Modulation Decoding via Deep Neural Networks
• MSC-2018-23 Yoav Nahshon (Benny Kimelfeld): Relational Framework for Information Extraction
• MSC-2018-24 Seri Khoury (Keren Censor-Hillel): New Lower Bounds for the CONGEST Model
• MSC-2018-25 Yuval Nezri (Reuven Cohen): Cardinality Estimation in a Virtualized Network Device Using Online Machine Learning
• MSC-2018-26 Itamar Talmi (Lihi Zelnik-Manor): Template Matching with Deformable Diversity Similarity
• MSC-2018-27 Rivka Malca (Roi Reichart): Neural Transition Based Parsing of Web Queries: An Entity Based Approach
• MSC-2018-28 Amit Fuchs (Avi Mendelson): Fault-Tolerant Operating System for Many-core Processors
• MSC-2018-29 Michael Balber (Tomer Shlomi): Constraint-based Isotope Tracing (CBIT): Inferring Flux Constraints from Isotopic Tracing Data
• MSC-2018-30 Tamer Mour (Eyal Kushilevitz): New Efficient Constructions for Distributed Oblivious RAM
• MSC-2018-31 Jonathan Zarecki (Shaul Markovitch): Textual Membership Queries
• MSC-2018-32 Ofer Givoli (Roi Reichart): Zero-Shot Semantic Parsing for Instructions
• MSC-2018-33 Alon Brifman (Michael Elad): Novel Image and Video Super-Resolution Relying on Denoising Algorithms