×

zbMATH — the first resource for mathematics

Lin, Huijia

Compute Distance To:
Author ID: lin.huijia Recent zbMATH articles by "Lin, Huijia"
Published as: Lin, Huijia; Lin, H.; Lin, H. J.
Documents Indexed: 57 Publications since 1993, including 1 Book

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 344 times in 120 Documents Cited by Year
Symbolic bisimulations. Zbl 0874.68187
Hennessy, M.; Lin, H.
54
1995
Obfuscation of probabilistic circuits and applications. Zbl 1382.94078
Canetti, Ran; Lin, Huijia; Tessaro, Stefano; Vaikuntanathan, Vinod
22
2015
Succinct randomized encodings and their applications. Zbl 1321.94041
Bitansky, Nir; Garg, Sanjam; Lin, Huijia; Pass, Rafael; Telang, Sidharth
18
2015
Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115
Lin, H.; Yim, S. C. S.
17
1996
After-the-fact leakage in public-key encryption. Zbl 1295.94078
Halevi, Shai; Lin, Huijia
17
2011
A unified framework for concurrent security, universal composability from stand-alone non-malleability. Zbl 1304.68017
Lin, Huijia; Pass, Rafael; Venkitasubramaniam, Muthuramakrishnan
14
2009
Indistinguishability obfuscation from constant-degree graded encoding schemes. Zbl 1347.94046
Lin, Huijia
13
2016
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H.
12
1996
Black-box constructions of composable protocols without set-up. Zbl 1296.94129
Lin, Huijia; Pass, Rafael
12
2012
Adaptive hardness and composable security in the plain model from standard assumptions. Zbl 1406.94033
Canetti, Ran; Lin, Huijia; Pass, Rafael
10
2016
The hunting of the SNARK. Zbl 1386.94066
Bitansky, Nir; Canetti, Ran; Chiesa, Alessandro; Goldwasser, Shafi; Lin, Huijia; Rubinstein, Aviad; Tromer, Eran
10
2017
Concurrent non-malleable commitments from any one-way function. Zbl 1162.94383
Lin, Huijia; Pass, Rafael; Venkitasubramaniam, Muthuramakrishnan
10
2008
Constant-round non-malleable commitments from any one-way function. Zbl 1288.68022
Lin, Huijia; Pass, Rafael
9
2011
Non-malleability amplification. Zbl 1304.94073
Lin, Huijia; Pass, Rafael
8
2009
Round-efficient concurrently composable secure computation via a robust extraction lemma. Zbl 1354.94030
Goyal, Vipul; Lin, Huijia; Pandey, Omkant; Pass, Rafael; Sahai, Amit
8
2015
Output-compressing randomized encodings and applications. Zbl 1348.94067
Lin, Huijia; Pass, Rafael; Seth, Karn; Telang, Sidharth
7
2016
Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020
Lin, H.
7
1998
Concurrent non-malleable zero knowledge proofs. Zbl 1283.94073
Lin, Huijia; Pass, Rafael; Tseng, Wei-Lung Dustin; Venkitasubramaniam, Muthuramakrishnan
7
2010
Indistinguishability obfuscation from SXDH on 5-linear maps and locality-5 PRGs. Zbl 1407.94138
Lin, Huijia
6
2017
Constant-round concurrent zero-knowledge from indistinguishability obfuscation. Zbl 1375.94111
Chung, Kai-Min; Lin, Huijia; Pass, Rafael
6
2015
A unified framework for UC from only OT. Zbl 1292.94125
Pass, Rafael; Lin, Huijia; Venkitasubramaniam, Muthuramakrishnan
6
2012
Public-coin concurrent zero-knowledge in the global hash model. Zbl 1296.94096
Canetti, Ran; Lin, Huijia; Paneth, Omer
6
2013
On the power of nonuniformity in proofs of security. Zbl 1361.94038
Chung, Kai-Min; Lin, Huijia; Mahmoody, Mohammad; Pass, Rafael
5
2013
Indistinguishability obfuscation with non-trivial efficiency. Zbl 1395.94298
Lin, Huijia; Pass, Rafael; Seth, Karn; Telang, Sidharth
5
2016
Equilibrium electro-deformation of a surfactant-laden viscous drop. Zbl 1320.76124
Nganguia, Herve; Young, Y.-N.; Vlahovska, Petia M.; Bławzdziewicz, Jerzy; Zhang, J.; Lin, H.
5
2013
Indistinguishability obfuscation from trilinear maps and block-wise local PRGs. Zbl 1407.94139
Lin, Huijia; Tessaro, Stefano
4
2017
Delegating RAM computations with adaptive soundness and privacy. Zbl 1397.94045
Ananth, Prabhanjan; Chen, Yu-Chi; Chung, Kai-Min; Lin, Huijia; Lin, Wei-Kai
4
2016
Leakage-tolerant computation with input-independent preprocessing. Zbl 1334.68078
Bitansky, Nir; Dachman-Soled, Dana; Lin, Huijia
4
2014
Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159
Lin, H.; Yamashita, K.
3
2002
The computational benefit of correlated instances. Zbl 1364.68226
Dinur, Irit; Goldwasser, Shafi; Lin, Huijia
3
2015
On removing graded encodings from functional encryption. Zbl 1415.94410
Bitansky, Nir; Lin, Huijia; Paneth, Omer
3
2017
Oblivious parallel RAM: improved efficiency and generic constructions. Zbl 1377.94043
Chen, Binyi; Lin, Huijia; Tessaro, Stefano
3
2016
\(k\)-round multiparty computation from \(k\)-round oblivious transfer via garbled interactive circuits. Zbl 1428.94060
Benhamouda, Fabrice; Lin, Huijia
3
2018
Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089
Hennessy, M.; Lin, H.; Rathke, J.
3
2001
Amplification of chosen-ciphertext security. Zbl 1306.94071
Lin, Huijia; Tessaro, Stefano
3
2013
Blind equalization using parallel Bayesian decision feedback equalizer. Zbl 0978.94019
Lin, H.; Yamashita, K.
2
2001
Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551
Yim, S. C. S.; Lin, H.
2
1996
Concurrent non-malleable zero knowledge with adaptive inputs. Zbl 1295.94104
Lin, Huijia; Pass, Rafael
2
2011
Constant-round nonmalleable commitments from any one-way function. Zbl 1321.94079
Lin, Huijia; Pass, Rafael
2
2015
One-message zero knowledge and non-malleable commitments. Zbl 1443.94047
Bitansky, Nir; Lin, Huijia
1
2018
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H.
1
2001
The dynamic buckling strength of spherical caps. Zbl 0800.73112
Lee, Y. J.; Lin, H. J.; Liou, Y. J.
1
1993
A unified approach to constructing black-box UC protocols in trusted setup models. Zbl 1410.94085
Kiyoshima, Susumu; Lin, Huijia; Venkitasubramaniam, Muthuramakrishnan
1
2017
Indistinguishability obfuscation for RAM programs and succinct randomized encodings. Zbl 1396.68041
Bitansky, Nir; Canetti, Ran; Garg, Sanjam; Holmgren, Justin; Jain, Abhishek; Lin, Huijia; Pass, Rafael; Telang, Sidharth; Vaikuntanathan, Vinod
1
2018
A general analysis for the electrohydrodynamic instability of stratified immiscible fluids. Zbl 1241.76231
Zhang, J.; Zahn, J. D.; Lin, H.
1
2011
Collective buckling of nonuniform nanobeams interacting through an elastic substrate. Zbl 1268.74024
Li, Z.; Feng, K.; Yang, J. S.; Tan, L.; Lin, H.
1
2010
Collective buckling of an elastic beam array on an elastic substrate for applications in soft lithography. Zbl 1398.74121
Lin, H. J.; Du, H. L.; Yang, J. S.; Tan, L.
1
2010
\(k\)-round multiparty computation from \(k\)-round oblivious transfer via garbled interactive circuits. Zbl 1428.94060
Benhamouda, Fabrice; Lin, Huijia
3
2018
One-message zero knowledge and non-malleable commitments. Zbl 1443.94047
Bitansky, Nir; Lin, Huijia
1
2018
Indistinguishability obfuscation for RAM programs and succinct randomized encodings. Zbl 1396.68041
Bitansky, Nir; Canetti, Ran; Garg, Sanjam; Holmgren, Justin; Jain, Abhishek; Lin, Huijia; Pass, Rafael; Telang, Sidharth; Vaikuntanathan, Vinod
1
2018
The hunting of the SNARK. Zbl 1386.94066
Bitansky, Nir; Canetti, Ran; Chiesa, Alessandro; Goldwasser, Shafi; Lin, Huijia; Rubinstein, Aviad; Tromer, Eran
10
2017
Indistinguishability obfuscation from SXDH on 5-linear maps and locality-5 PRGs. Zbl 1407.94138
Lin, Huijia
6
2017
Indistinguishability obfuscation from trilinear maps and block-wise local PRGs. Zbl 1407.94139
Lin, Huijia; Tessaro, Stefano
4
2017
On removing graded encodings from functional encryption. Zbl 1415.94410
Bitansky, Nir; Lin, Huijia; Paneth, Omer
3
2017
A unified approach to constructing black-box UC protocols in trusted setup models. Zbl 1410.94085
Kiyoshima, Susumu; Lin, Huijia; Venkitasubramaniam, Muthuramakrishnan
1
2017
Indistinguishability obfuscation from constant-degree graded encoding schemes. Zbl 1347.94046
Lin, Huijia
13
2016
Adaptive hardness and composable security in the plain model from standard assumptions. Zbl 1406.94033
Canetti, Ran; Lin, Huijia; Pass, Rafael
10
2016
Output-compressing randomized encodings and applications. Zbl 1348.94067
Lin, Huijia; Pass, Rafael; Seth, Karn; Telang, Sidharth
7
2016
Indistinguishability obfuscation with non-trivial efficiency. Zbl 1395.94298
Lin, Huijia; Pass, Rafael; Seth, Karn; Telang, Sidharth
5
2016
Delegating RAM computations with adaptive soundness and privacy. Zbl 1397.94045
Ananth, Prabhanjan; Chen, Yu-Chi; Chung, Kai-Min; Lin, Huijia; Lin, Wei-Kai
4
2016
Oblivious parallel RAM: improved efficiency and generic constructions. Zbl 1377.94043
Chen, Binyi; Lin, Huijia; Tessaro, Stefano
3
2016
Obfuscation of probabilistic circuits and applications. Zbl 1382.94078
Canetti, Ran; Lin, Huijia; Tessaro, Stefano; Vaikuntanathan, Vinod
22
2015
Succinct randomized encodings and their applications. Zbl 1321.94041
Bitansky, Nir; Garg, Sanjam; Lin, Huijia; Pass, Rafael; Telang, Sidharth
18
2015
Round-efficient concurrently composable secure computation via a robust extraction lemma. Zbl 1354.94030
Goyal, Vipul; Lin, Huijia; Pandey, Omkant; Pass, Rafael; Sahai, Amit
8
2015
Constant-round concurrent zero-knowledge from indistinguishability obfuscation. Zbl 1375.94111
Chung, Kai-Min; Lin, Huijia; Pass, Rafael
6
2015
The computational benefit of correlated instances. Zbl 1364.68226
Dinur, Irit; Goldwasser, Shafi; Lin, Huijia
3
2015
Constant-round nonmalleable commitments from any one-way function. Zbl 1321.94079
Lin, Huijia; Pass, Rafael
2
2015
Leakage-tolerant computation with input-independent preprocessing. Zbl 1334.68078
Bitansky, Nir; Dachman-Soled, Dana; Lin, Huijia
4
2014
Public-coin concurrent zero-knowledge in the global hash model. Zbl 1296.94096
Canetti, Ran; Lin, Huijia; Paneth, Omer
6
2013
On the power of nonuniformity in proofs of security. Zbl 1361.94038
Chung, Kai-Min; Lin, Huijia; Mahmoody, Mohammad; Pass, Rafael
5
2013
Equilibrium electro-deformation of a surfactant-laden viscous drop. Zbl 1320.76124
Nganguia, Herve; Young, Y.-N.; Vlahovska, Petia M.; Bławzdziewicz, Jerzy; Zhang, J.; Lin, H.
5
2013
Amplification of chosen-ciphertext security. Zbl 1306.94071
Lin, Huijia; Tessaro, Stefano
3
2013
Black-box constructions of composable protocols without set-up. Zbl 1296.94129
Lin, Huijia; Pass, Rafael
12
2012
A unified framework for UC from only OT. Zbl 1292.94125
Pass, Rafael; Lin, Huijia; Venkitasubramaniam, Muthuramakrishnan
6
2012
After-the-fact leakage in public-key encryption. Zbl 1295.94078
Halevi, Shai; Lin, Huijia
17
2011
Constant-round non-malleable commitments from any one-way function. Zbl 1288.68022
Lin, Huijia; Pass, Rafael
9
2011
Concurrent non-malleable zero knowledge with adaptive inputs. Zbl 1295.94104
Lin, Huijia; Pass, Rafael
2
2011
A general analysis for the electrohydrodynamic instability of stratified immiscible fluids. Zbl 1241.76231
Zhang, J.; Zahn, J. D.; Lin, H.
1
2011
Concurrent non-malleable zero knowledge proofs. Zbl 1283.94073
Lin, Huijia; Pass, Rafael; Tseng, Wei-Lung Dustin; Venkitasubramaniam, Muthuramakrishnan
7
2010
Collective buckling of nonuniform nanobeams interacting through an elastic substrate. Zbl 1268.74024
Li, Z.; Feng, K.; Yang, J. S.; Tan, L.; Lin, H.
1
2010
Collective buckling of an elastic beam array on an elastic substrate for applications in soft lithography. Zbl 1398.74121
Lin, H. J.; Du, H. L.; Yang, J. S.; Tan, L.
1
2010
A unified framework for concurrent security, universal composability from stand-alone non-malleability. Zbl 1304.68017
Lin, Huijia; Pass, Rafael; Venkitasubramaniam, Muthuramakrishnan
14
2009
Non-malleability amplification. Zbl 1304.94073
Lin, Huijia; Pass, Rafael
8
2009
Concurrent non-malleable commitments from any one-way function. Zbl 1162.94383
Lin, Huijia; Pass, Rafael; Venkitasubramaniam, Muthuramakrishnan
10
2008
Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159
Lin, H.; Yamashita, K.
3
2002
Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089
Hennessy, M.; Lin, H.; Rathke, J.
3
2001
Blind equalization using parallel Bayesian decision feedback equalizer. Zbl 0978.94019
Lin, H.; Yamashita, K.
2
2001
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H.
1
2001
Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020
Lin, H.
7
1998
Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115
Lin, H.; Yim, S. C. S.
17
1996
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H.
12
1996
Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551
Yim, S. C. S.; Lin, H.
2
1996
Symbolic bisimulations. Zbl 0874.68187
Hennessy, M.; Lin, H.
54
1995
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
The dynamic buckling strength of spherical caps. Zbl 0800.73112
Lee, Y. J.; Lin, H. J.; Liou, Y. J.
1
1993
all top 5

Cited by 196 Authors

12 Pass, Rafael
11 Bitansky, Nir
8 Lin, Huijia
8 Vaikuntanathan, Vinod
8 Venkitasubramaniam, Muthuramakrishnan
7 Ananth, Prabhanjan Vijendra
7 Hazay, Carmit
7 Sahai, Amit
6 Canetti, Ran
6 Paneth, Omer
5 Ishai, Yuval
5 Kiyoshima, Susumu
5 Nielsen, Jesper Buus
5 Venturi, Daniele
5 Wichs, Daniel
4 Applebaum, Benny
4 Chung, Kai-Min
4 Faonio, Antonio
4 Polychroniadou, Antigoni
4 Visconti, Ivan
3 Asharov, Gilad
3 Brakerski, Zvika
3 Cao, Zhenfu
3 Chen, Yilei
3 Choi, Seung Geol
3 Datta, Pratish
3 Garg, Sanjam
3 Goldwasser, Shafi
3 Halevi, Shai
3 Jain, Aayush
3 Jain, Abhishek
3 Nishimaki, Ryo
3 Ostrovsky, Rafail
3 Pandey, Omkant
3 Rothblum, Guy N.
3 Segev, Gil
3 Susilo, Willy
3 Wee, Hoeteck
3 Zhang, Zongyang
2 Alawatugoda, Janaka
2 Albrecht, Martin R.
2 Chen, Rongmao
2 Ciampi, Michele
2 Dachman-Soled, Dana
2 Damgård, Ivan Bjerre
2 Degwekar, Akshay
2 Dodis, Yevgeniy
2 Dutta, Ratna
2 Farshim, Pooya
2 Faust, Sebastian
2 Fischlin, Marc
2 Guo, Fuchun
2 Guo, Shanqing
2 Gupta, Divya
2 Hofheinz, Dennis
2 Holmgren, Justin
2 Hu, Chengyu
2 Kalai, Yael T.
2 Kapron, Bruce M.
2 Kushilevitz, Eyal
2 Larraia, Enrique
2 Liu, Pengtao
2 López-Alt, Adriana
2 Malkin, Tal G.
2 Mu, Yi
2 Mukhopadhyay, Sourav
2 Naor, Moni
2 Passelègue, Alain
2 Paterson, Kenneth G.
2 Richelson, Silas
2 Rothblum, Ron D.
2 Schröder, Dominique
2 Seth, Karn
2 Siniscalchi, Luisa
2 Tanaka, Keisuke
2 Telang, Sidharth
2 Tomida, Junichi
2 Tseng, Wei-Lung Dustin
2 Yang, Guomin
2 Zhou, Yongbin
1 Abraham, Ittai
1 Abusalah, Hamza
1 Andrychowicz, Marcin
1 Attrapadung, Nuttapong
1 Baecher, Paul
1 Bellare, Mihir
1 Benhamouda, Fabrice
1 Bin-Noon, Hod
1 Boneh, Dan
1 Boyle, Elette
1 Broadnax, Brandon
1 Brzuska, Christina
1 Chakraborty, Suvradip
1 Chen, Danyang
1 Chen, Yuchi
1 Cho, Wonhee
1 Chow, Sherman S. M.
1 Cohen, Aloni
1 Coretti, Sandro
1 Daneshgar, Amir
...and 96 more Authors

Citations by Year