A Greater Tel-Aviv Area Seminar

Amir Herzeberg@TAU on: Off-path Hacking TCP/IP (and DNS, HTTP, too)

We present overview of several of our recent results on practical attacks on the core Internet protocols: TCP, IP, DNS and HTTP. Our attacks are all by off-path spoofing adversary, i.e., do not require eavesdropping abilities. The attacks can be abused in many ways, including threats to integrity and confidentiality (e.g., via injection of malicious scripts/applets into web pages, for XSS, CSRF and phishing attacks, or via DNS poisoning), as well as for devastating Denial of Service (DoS) attacks.

02/05/2012 - 11:30

Tal Moran@BIU on: Time-lock puzzles and Proofs-of-Work in the Random Oracle Model

A time-lock puzzle is a mechanism for sending messages ``to the future''. The sender publishes a puzzle whose solution is the message to be sent, thus hiding it until enough time has elapsed for the puzzle to be solved. For time-lock puzzles to be useful, generating a puzzle should take less time than solving it. Since adversaries may have access to many more computers than honest solvers, massively parallel solvers should not be able to produce a solution much faster than serial ones.

23/05/2012 - 11:30

Rita Vald @ TAU on: Universally Composable Security With Local Adversaries

ABSTRACT: The traditional approach to formalizing ideal-model based definitions of security for multi-party protocols model adversaries (both real and ideal) as centralized entities that control all parties that deviate from the protocol. While this centralized-adversary modeling suffices for capturing basic security properties such as secrecy of local inputs and correctness of outputs against coordinated attacks, it turns out to be inadequate for capturing security properties that involve restricting the sharing of information between separate adversarial entities.

30/05/2012 - 11:00

Alessandro Chiesa @ TAU on: How MIPs and Proof-Carrying Data Make Delegation More Affordable

Speaker: Alessandro Chiesa (MIT CSAIL)
Time: Thursday August 2nd 2012, 14:00
Place: Schreiber 309, Tel Aviv University

Title: How MIPs and Proof-Carrying Data Make Delegation More Affordable

In this talk, we will discuss two important efficiency aspects of succinct arguments:
(1) the time and space complexity of the prover
(2) the offline complexity of the verifier (a.k.a. preprocessing complexity)

02/08/2012 - 14:00