Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University

Source URL: www.react.uni-saarland.de

Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler‡ , Tibor Jagerk , Daniel Slamanig§ , Christoph Striecks§ May 3, 2018—Eurocrypt 2018, Tel Aviv, Israel

Source URL: david.derler.info

• Cryptography
• Computing
• Internet
• Internet protocols
• Public-key cryptography
• Transport Layer Security
• Secure communication
• Cryptographic protocols
• QUIC
• Transmission Control Protocol
• Forward secrecy

Practical Template-Algebraic Side Channel Attacks with Extremely Low Data Complexity Yossef Oren, Ofir Weisse and Avishai Wool Cryptography and Network Security Lab School of Electrical Engineering Tel-Aviv University, R

Source URL: www.ofirweisse.com

• Statistical classification
• Coding theory
• Computer arithmetic
• Error detection and correction
• Machine learning
• Computing
• Naive Bayes classifier
• Learning
• Advanced Encryption Standard
• Block cipher
• Bit array
• Hamming

On the Existence of Extractable One-Way Functions ∗ Nir Bitansky † Tel Aviv University

Source URL: www.eecs.harvard.edu

A Local Computation Approximation Scheme to Maximum Matching Yishay Mansour? and Shai Vardi?? School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel. mansour, Keywords: Local Compu

Source URL: www.shaivardi.com

Ontology Assisted Crowd Mining Yael Amsterdamer1 , Susan B. Davidson2 , Tova Milo1 , Slava Novgorodov1 , and Amit Somech1 1 2 Tel Aviv University, Tel Aviv, Israel

Source URL: www.vldb.org

Improving Bloom filter performance on sequence data using k-mer Bloom filters David Pellow1? , Darya Filippova2 , and Carl Kingsford2?? 1 The Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv 69978, Is

Source URL: cs.tau.ac.il

11th International Conference Critical Care Nursing Tel Aviv, Israel – June 11-12, 2018 Monday, June 11, :00-00:80

Source URL: cardiology-2018.isas.co.il

Minimum Color Sum of Bipartite Graphs Amotz Bar-Noy Department of Electrical Engineering, Tel-Aviv University, Tel-Aviv 69978, Israel. E-mail: . Guy Kortsarz

Source URL: crab.rutgers.edu

Converting Online Algorithms to Local Computation Algorithms Yishay Mansour1 ? , Aviad Rubinstein1 ?? , Shai Vardi1 ? ? ? , and Ning Xie2 † 1 School of Computer Science, Tel Aviv University, Israel

Source URL: www.shaivardi.com