Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450318594

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Evasiveness through a circuit lens

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422454 ◽

2013 ◽

Cited By ~ 2

Author(s):

Raghav Kulkarni

Download Full-text

Resource-based corruptions and the combinatorics of hidden diversity

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422482 ◽

2013 ◽

Cited By ~ 5

Author(s):

Juan Garay ◽

David Johnson ◽

Aggelos Kiayias ◽

Moti Yung

Download Full-text

Streaming computations with a loquacious prover

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422471 ◽

2013 ◽

Cited By ~ 6

Author(s):

Hartmut Klauck ◽

Ved Prakash

Download Full-text

On the power of conditional samples in distribution testing

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422497 ◽

2013 ◽

Cited By ~ 6

Author(s):

Sourav Chakraborty ◽

Eldar Fischer ◽

Yonatan Goldhirsh ◽

Arie Matsliah

Keyword(s):

Distribution Testing

Download Full-text

Can theories be tested?

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422443 ◽

2013 ◽

Cited By ~ 1

Author(s):

Kai-Min Chung ◽

Edward Lui ◽

Rafael Pass

Download Full-text

Stronger methods of making quantum interactive proofs perfectly complete

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422475 ◽

2013 ◽

Cited By ~ 2

Author(s):

Hirotada Kobayashi ◽

François Le Gall ◽

Harumichi Nishimura

Keyword(s):

Interactive Proofs

Download Full-text

On the power of nonuniformity in proofs of security

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422480 ◽

2013 ◽

Cited By ~ 9

Author(s):

Kai-Min Chung ◽

Huijia Lin ◽

Mohammad Mahmoody ◽

Rafael Pass

Download Full-text

Publicly verifiable proofs of sequential work

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422479 ◽

2013 ◽

Cited By ~ 22

Author(s):

Mohammad Mahmoody ◽

Tal Moran ◽

Salil Vadhan

Download Full-text

Properties and applications of boolean function composition

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422485 ◽

2013 ◽

Cited By ~ 10

Author(s):

Avishay Tal

Keyword(s):

Boolean Function ◽

Function Composition

Download Full-text

New affine-invariant codes from lifting

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13 ◽

10.1145/2422436.2422494 ◽

2013 ◽

Cited By ~ 28

Author(s):

Alan Guo ◽

Swastik Kopparty ◽

Madhu Sudan

Keyword(s):

Affine Invariant

Download Full-text

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Evasiveness through a circuit lens

Resource-based corruptions and the combinatorics of hidden diversity

Streaming computations with a loquacious prover

On the power of conditional samples in distribution testing

Can theories be tested?

Stronger methods of making quantum interactive proofs perfectly complete

On the power of nonuniformity in proofs of security

Publicly verifiable proofs of sequential work

Properties and applications of boolean function composition

New affine-invariant codes from lifting

Proceedings of the 4th conference on Innovations in Theoretical Computer Science - ITCS '13
Latest Publications