From yijia.chen at cs.sjtu.edu.cn  Sun Dec  2 18:41:52 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Sun, 02 Dec 2012 11:41:52 +0100
Subject: [Logic and Complexity] Derandomization (IV)
Message-ID: <d48ed7043866e5e6fca96921da7aec8e@cs.sjtu.edu.cn>

 Hi,

 I enclose the slides for today's talk.

 Best,

 Yijia
-------------- next part --------------
A non-text attachment was scrubbed...
Name: derand4.pdf
Type: application/pdf
Size: 186882 bytes
Desc: not available
URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20121202/9dda2d76/attachment-0001.pdf>

From yijia.chen at cs.sjtu.edu.cn  Sat Dec  8 09:52:08 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Sat, 08 Dec 2012 02:52:08 +0100
Subject: [Logic and Complexity] Derandomization (V)
Message-ID: <0d1c519f31d6c4beff44392776611aea@cs.sjtu.edu.cn>

 Hi,

 I will give the next talk tomorrow at the same time,
 and the basketball follows.

 Yijia

From yijia.chen at cs.sjtu.edu.cn  Mon Dec 10 09:43:21 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Mon, 10 Dec 2012 02:43:21 +0100
Subject: [Logic and Complexity] derandomization (V)
Message-ID: <634ea20399a0ade98494dcaf98f984b3@cs.sjtu.edu.cn>

 Hi,

 I enclose the slides of yesterday.

 Yijia
-------------- next part --------------
A non-text attachment was scrubbed...
Name: derand5.pdf
Type: application/pdf
Size: 165831 bytes
Desc: not available
URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20121210/52d8d56c/attachment-0001.pdf>

From yijia.chen at cs.sjtu.edu.cn  Mon Dec 10 12:18:53 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Mon, 10 Dec 2012 05:18:53 +0100
Subject: [Logic and Complexity] =?utf-8?b?RndkOiDovazlj5HlrabmnK/miqXlkYo=?=
 =?utf-8?b?5L+h5oGv?=
Message-ID: <b9a8ed953da23fc79be0180f6d591911@cs.sjtu.edu.cn>



 -------- Original Message --------
 Subject: ????????
 Date: Mon, 10 Dec 2012 10:23:08 +0800
 From: "dingyue" <dingyue at cs.sjtu.edu.cn>
 To: "all" <all at cs.sjtu.edu.cn>

 ?
 	*

 ????????

 ????????????????????????????????


 ????????????????????????????????????????


  ?????????????
  ?????????2:00
  ?????3-404
  ???????

  Title: OAKE: A New Family of Implicitly Authenticated Diffie-Hellman
 Protocols

  Abstract: Cryptography algorithm standards play a key role both to the

  practice of information security and to cryptography theory research.
  Among them, the MQV and HMQV protocols ((H)MQV, in short) are a family

  of implicitly authenticated Diffie-Hellman key-exchange (DHKE)
 protocols
  that are among the most efficient and are widely standardized. In this

  work, from some new perspectives and under some new design rationales,

  and also inspired by the security analysis of HMQV, we develop a new
  family of practical implicitly authenticated DHKE (IA-DHKE) protocols,

  which enjoy performance advantages among security, efficiency, 
 privacy,
 
  fairness and easy deployment. We make detailed comparisons between our

  new protocols and (H)MQV, showing that the newly developed protocols
  outperform HMQV in most aspects. Very briefly speaking, we achieve:

 ? The most efficient provably secure IA-DHKE protocol to date.

 ? The first provably secure IA-DHKE protocol with privacy preserving
  properties of post-ID computability and reasonable deniability. Here
  ?reasonable deniability? refers to that the sessionkey can be
 computed
  merely from DH-exponents.

 ? All our protocols are essentially online-optimal, which is
  particularly important for protocol deployment by power limited
 devices.
  Here, essential online optimal efficiency refers to only one online
  modular exponentiation (besides some slight operations of several
  hashings, modular additions and multiplications). To our knowledge,
 they
  are the first provably secure IA-DHKE protocols that enjoy essential
  online-optimal efficiency.

 ? In comparison with HMQV, the provable security against the leakage
 of
  pre-computed DH components or exponents is less relied on or totally
  dispensed with the non-standard knowledgeof- exponent assumption 
 (KEA).


  Guided by our new design rationales, in this work we also formalize 
 and
 
  introduce some new concept, say session-key computational fairness (as
 a
  complement to session-key security), to the literature.

 2012-12-10
 -------------------------

 ??
 ??????????????????
 ???34204398
 email?dingyue at cs.sjtu.edu.cn

From yijia.chen at cs.sjtu.edu.cn  Mon Dec 10 14:21:52 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Mon, 10 Dec 2012 07:21:52 +0100
Subject: [Logic and Complexity] =?utf-8?b?RndkOiAxMS4yN+KAnOWkp+aVsOaNrg==?=
 =?utf-8?b?5pe25Luj55qE5pm66IO95L+h5oGv5aSE55CG4oCd56CU6K6o5LyaUFBU5bey?=
 =?utf-8?b?5LiK5Lyg5YiwRlRQ?=
Message-ID: <85c3e05f44b0cb8f588441cbc0364a9e@cs.sjtu.edu.cn>



 -------- Original Message --------
 Subject: 11.27?????????????????PPT????FTP
 Date: Mon, 10 Dec 2012 14:22:43 +0800
 From: "dingyue" <dingyue at cs.sjtu.edu.cn>
 To: "all" <all at cs.sjtu.edu.cn>

 
 	*
 ????????

 11.27?????????????????PPT????????????FTP??????????????


 ???: public
 ???public

 2012-12-10
 -------------------------

 ??
 ??????????????????
 ???34204398
 email?dingyue at cs.sjtu.edu.cn

From yijia.chen at cs.sjtu.edu.cn  Sat Dec 15 10:39:07 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Sat, 15 Dec 2012 03:39:07 +0100
Subject: [Logic and Complexity] Derandomization
Message-ID: <d597d7ed15926ff22c5672c676341dfe@cs.sjtu.edu.cn>

 Hi,

 As I just returned to Shanghai and there will
 be much teaching next week, I have to cancel
 my talk tomorrow. Sorry!

 Yijia

From yijia.chen at cs.sjtu.edu.cn  Sat Dec 22 18:18:41 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Sat, 22 Dec 2012 11:18:41 +0100
Subject: [Logic and Complexity] Derandomization
Message-ID: <778e500e759075b5b3961e6f9d24bb6f@cs.sjtu.edu.cn>

 Hi,

 I will give the next talk tomorrow at 10:00am as usual.

 Best,

 Yijia

From yijia.chen at cs.sjtu.edu.cn  Mon Dec 24 12:25:25 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Mon, 24 Dec 2012 05:25:25 +0100
Subject: [Logic and Complexity] Derandomization (VI)
Message-ID: <e6be8c6bfbb26f737573bf2490b812c6@cs.sjtu.edu.cn>

 Hi,

 In case you're interested, I enclose the slides for yesterday.

 Best,

 Yijia
-------------- next part --------------
A non-text attachment was scrubbed...
Name: derand6.pdf
Type: application/pdf
Size: 164737 bytes
Desc: not available
URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20121224/7a3c5af6/attachment-0002.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: derand5.pdf
Type: application/pdf
Size: 189584 bytes
Desc: not available
URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20121224/7a3c5af6/attachment-0003.pdf>

From yijia.chen at cs.sjtu.edu.cn  Tue Dec 25 12:56:52 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Tue, 25 Dec 2012 05:56:52 +0100
Subject: [Logic and Complexity] =?utf-8?q?Fwd=3A_Prof=2E_John_Hopcroft_?=
	=?utf-8?b?5Yiw5Lqk5aSn?=
Message-ID: <47971b6219b655df0770551ee8ee19c5@cs.sjtu.edu.cn>



 -------- Original Message --------
 Subject: Prof. John Hopcroft ???
 Date: Mon, 24 Dec 2012 21:17:26 +0800 (CST)
 From: longhuan at sjtu.edu.cn
 To: all <all at cs.sjtu.edu.cn>
 Cc: "bingli09fall at gmail.com" <bingli09fall at gmail.com>

 ????

 ????????????Prof. John Hopcroft ????????????
 ??????????????????????????????????
 ??????????????????1?19????2??4?????1?3?5
 ?????????????

 ?????????????bingli09fall at gmail.com ??? ??????
 ?????????


 ???

 ??



From yijia.chen at cs.sjtu.edu.cn  Sat Dec 29 19:32:01 2012
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Sat, 29 Dec 2012 12:32:01 +0100
Subject: [Logic and Complexity] Tomorrow
Message-ID: <1b1fda192419cc84bf800ddaebc31ba1@cs.sjtu.edu.cn>

 Hi,

 Tomorrow Zhang Chihao would give a practice talk for
 his Dagstuhl meeting at 10:00am. After that, I will
 invite you guys for the lunch.

 Best,

 Yijia