id	sid	tid	token	lemma	pos
rn300z72q8p	1	1	one	one	NUM
rn300z72q8p	1	2	of	of	ADP
rn300z72q8p	1	3	the	the	DET
rn300z72q8p	1	4	most	most	ADV
rn300z72q8p	1	5	important	important	ADJ
rn300z72q8p	1	6	properties	property	NOUN
rn300z72q8p	1	7	of	of	ADP
rn300z72q8p	1	8	a	a	DET
rn300z72q8p	1	9	cryptographic	cryptographic	ADJ
rn300z72q8p	1	10	system	system	NOUN
rn300z72q8p	1	11	is	be	AUX
rn300z72q8p	1	12	a	a	DET
rn300z72q8p	1	13	proof	proof	NOUN
rn300z72q8p	1	14	of	of	ADP
rn300z72q8p	1	15	its	its	PRON
rn300z72q8p	1	16	security	security	NOUN
rn300z72q8p	1	17	.	.	PUNCT
rn300z72q8p	2	1	there	there	PRON
rn300z72q8p	2	2	are	be	VERB
rn300z72q8p	2	3	two	two	NUM
rn300z72q8p	2	4	types	type	NOUN
rn300z72q8p	2	5	of	of	ADP
rn300z72q8p	2	6	security	security	NOUN
rn300z72q8p	2	7	:	:	PUNCT
rn300z72q8p	2	8	information	information	NOUN
rn300z72q8p	2	9	(	(	PUNCT
rn300z72q8p	2	10	or	or	CCONJ
rn300z72q8p	2	11	theoretical	theoretical	ADJ
rn300z72q8p	2	12	)	)	PUNCT
rn300z72q8p	2	13	security	security	NOUN
rn300z72q8p	2	14	and	and	CCONJ
rn300z72q8p	2	15	computational	computational	ADJ
rn300z72q8p	2	16	(	(	PUNCT
rn300z72q8p	2	17	or	or	CCONJ
rn300z72q8p	2	18	practical	practical	ADJ
rn300z72q8p	2	19	)	)	PUNCT
rn300z72q8p	2	20	security	security	NOUN
rn300z72q8p	2	21	.	.	PUNCT
rn300z72q8p	3	1	the	the	DET
rn300z72q8p	3	2	focus	focus	NOUN
rn300z72q8p	3	3	of	of	ADP
rn300z72q8p	3	4	this	this	DET
rn300z72q8p	3	5	work	work	NOUN
rn300z72q8p	3	6	is	be	AUX
rn300z72q8p	3	7	on	on	ADP
rn300z72q8p	3	8	provable	provable	ADJ
rn300z72q8p	3	9	computational	computational	ADJ
rn300z72q8p	3	10	security	security	NOUN
rn300z72q8p	3	11	via	via	ADP
rn300z72q8p	3	12	gate	gate	NOUN
rn300z72q8p	3	13	(	(	PUNCT
rn300z72q8p	3	14	or	or	CCONJ
rn300z72q8p	3	15	circuit	circuit	NOUN
rn300z72q8p	3	16	)	)	PUNCT
rn300z72q8p	3	17	complexity	complexity	NOUN
rn300z72q8p	3	18	of	of	ADP
rn300z72q8p	3	19	boolean	boolean	ADJ
rn300z72q8p	3	20	functions	function	NOUN
rn300z72q8p	3	21	.	.	PUNCT
rn300z72q8p	4	1	the	the	DET
rn300z72q8p	4	2	computational	computational	ADJ
rn300z72q8p	4	3	security	security	NOUN
rn300z72q8p	4	4	of	of	ADP
rn300z72q8p	4	5	public	public	ADJ
rn300z72q8p	4	6	-	-	PUNCT
rn300z72q8p	4	7	key	key	NOUN
rn300z72q8p	4	8	cryptographic	cryptographic	ADJ
rn300z72q8p	4	9	systems	system	NOUN
rn300z72q8p	4	10	depends	depend	VERB
rn300z72q8p	4	11	fundamentally	fundamentally	ADV
rn300z72q8p	4	12	on	on	ADP
rn300z72q8p	4	13	trapdoor	trapdoor	NOUN
rn300z72q8p	4	14	one	one	NUM
rn300z72q8p	4	15	-	-	PUNCT
rn300z72q8p	4	16	way	way	NOUN
rn300z72q8p	4	17	functions	function	NOUN
rn300z72q8p	4	18	.	.	PUNCT
rn300z72q8p	5	1	however	however	ADV
rn300z72q8p	5	2	,	,	PUNCT
rn300z72q8p	5	3	the	the	DET
rn300z72q8p	5	4	existence	existence	NOUN
rn300z72q8p	5	5	of	of	ADP
rn300z72q8p	5	6	such	such	ADJ
rn300z72q8p	5	7	functions	function	NOUN
rn300z72q8p	5	8	has	have	VERB
rn300z72q8p	5	9	yet	yet	ADV
rn300z72q8p	5	10	to	to	PART
rn300z72q8p	5	11	be	be	AUX
rn300z72q8p	5	12	proved	prove	VERB
rn300z72q8p	5	13	.	.	PUNCT
rn300z72q8p	6	1	informally	informally	ADV
rn300z72q8p	6	2	speaking	speak	VERB
rn300z72q8p	6	3	,	,	PUNCT
rn300z72q8p	6	4	a	a	DET
rn300z72q8p	6	5	trapdoor	trapdoor	NOUN
rn300z72q8p	6	6	one	one	NUM
rn300z72q8p	6	7	-	-	PUNCT
rn300z72q8p	6	8	way	way	NOUN
rn300z72q8p	6	9	function	function	NOUN
rn300z72q8p	6	10	is	be	AUX
rn300z72q8p	6	11	an	an	DET
rn300z72q8p	6	12	efficiently	efficiently	ADV
rn300z72q8p	6	13	-	-	PUNCT
rn300z72q8p	6	14	computable	computable	NOUN
rn300z72q8p	6	15	function	function	NOUN
rn300z72q8p	6	16	such	such	ADJ
rn300z72q8p	6	17	that	that	SCONJ
rn300z72q8p	6	18	there	there	PRON
rn300z72q8p	6	19	are	be	VERB
rn300z72q8p	6	20	no	no	DET
rn300z72q8p	6	21	efficient	efficient	ADJ
rn300z72q8p	6	22	algorithms	algorithm	NOUN
rn300z72q8p	6	23	for	for	ADP
rn300z72q8p	6	24	inverting	invert	VERB
rn300z72q8p	6	25	it	it	PRON
rn300z72q8p	6	26	unless	unless	SCONJ
rn300z72q8p	6	27	some	some	DET
rn300z72q8p	6	28	extra	extra	ADJ
rn300z72q8p	6	29	information	information	NOUN
rn300z72q8p	6	30	,	,	PUNCT
rn300z72q8p	6	31	known	know	VERB
rn300z72q8p	6	32	as	as	ADP
rn300z72q8p	6	33	trapdoor	trapdoor	NOUN
rn300z72q8p	6	34	information	information	NOUN
rn300z72q8p	6	35	,	,	PUNCT
rn300z72q8p	6	36	is	be	AUX
rn300z72q8p	6	37	available	available	ADJ
rn300z72q8p	6	38	.	.	PUNCT
rn300z72q8p	7	1	it	it	PRON
rn300z72q8p	7	2	is	be	AUX
rn300z72q8p	7	3	important	important	ADJ
rn300z72q8p	7	4	to	to	PART
rn300z72q8p	7	5	realize	realize	VERB
rn300z72q8p	7	6	that	that	SCONJ
rn300z72q8p	7	7	the	the	DET
rn300z72q8p	7	8	so	so	ADV
rn300z72q8p	7	9	-	-	PUNCT
rn300z72q8p	7	10	called	call	VERB
rn300z72q8p	7	11	'	'	PUNCT
rn300z72q8p	7	12	trapdoor	trapdoor	NOUN
rn300z72q8p	7	13	one	one	NUM
rn300z72q8p	7	14	-	-	PUNCT
rn300z72q8p	7	15	way	way	NOUN
rn300z72q8p	7	16	functions	function	NOUN
rn300z72q8p	7	17	'	'	PUNCT
rn300z72q8p	7	18	used	use	VERB
rn300z72q8p	7	19	in	in	ADP
rn300z72q8p	7	20	modern	modern	ADJ
rn300z72q8p	7	21	cryptographic	cryptographic	ADJ
rn300z72q8p	7	22	systems	system	NOUN
rn300z72q8p	7	23	(	(	PUNCT
rn300z72q8p	7	24	to	to	PART
rn300z72q8p	7	25	perform	perform	VERB
rn300z72q8p	7	26	financial	financial	ADJ
rn300z72q8p	7	27	transactions	transaction	NOUN
rn300z72q8p	7	28	over	over	ADP
rn300z72q8p	7	29	the	the	DET
rn300z72q8p	7	30	internet	internet	NOUN
rn300z72q8p	7	31	,	,	PUNCT
rn300z72q8p	7	32	for	for	ADP
rn300z72q8p	7	33	example	example	NOUN
rn300z72q8p	7	34	)	)	PUNCT
rn300z72q8p	7	35	are	be	AUX
rn300z72q8p	7	36	good	good	ADJ
rn300z72q8p	7	37	candidates	candidate	NOUN
rn300z72q8p	7	38	,	,	PUNCT
rn300z72q8p	7	39	at	at	ADP
rn300z72q8p	7	40	best	well	ADV
rn300z72q8p	7	41	.	.	PUNCT
rn300z72q8p	8	1	there	there	PRON
rn300z72q8p	8	2	is	be	VERB
rn300z72q8p	8	3	no	no	DET
rn300z72q8p	8	4	formal	formal	ADJ
rn300z72q8p	8	5	proof	proof	NOUN
rn300z72q8p	8	6	that	that	SCONJ
rn300z72q8p	8	7	these	these	DET
rn300z72q8p	8	8	candidates	candidate	NOUN
rn300z72q8p	8	9	are	be	AUX
rn300z72q8p	8	10	de	de	X
rn300z72q8p	8	11	facto	facto	X
rn300z72q8p	8	12	trapdoor	trapdoor	NOUN
rn300z72q8p	8	13	one	one	NUM
rn300z72q8p	8	14	-	-	PUNCT
rn300z72q8p	8	15	way	way	NOUN
rn300z72q8p	8	16	functions	function	NOUN
rn300z72q8p	8	17	.	.	PUNCT
rn300z72q8p	9	1	for	for	ADP
rn300z72q8p	9	2	example	example	NOUN
rn300z72q8p	9	3	,	,	PUNCT
rn300z72q8p	9	4	security	security	NOUN
rn300z72q8p	9	5	proofs	proof	NOUN
rn300z72q8p	9	6	for	for	ADP
rn300z72q8p	9	7	one	one	NUM
rn300z72q8p	9	8	of	of	ADP
rn300z72q8p	9	9	the	the	DET
rn300z72q8p	9	10	most	most	ADV
rn300z72q8p	9	11	widely	widely	ADV
rn300z72q8p	9	12	used	use	VERB
rn300z72q8p	9	13	public	public	ADJ
rn300z72q8p	9	14	-	-	PUNCT
rn300z72q8p	9	15	key	key	ADJ
rn300z72q8p	9	16	cryptographic	cryptographic	ADJ
rn300z72q8p	9	17	systems	system	NOUN
rn300z72q8p	9	18	,	,	PUNCT
rn300z72q8p	9	19	namely	namely	ADV
rn300z72q8p	9	20	,	,	PUNCT
rn300z72q8p	9	21	the	the	DET
rn300z72q8p	9	22	rsa	rsa	NOUN
rn300z72q8p	9	23	,	,	PUNCT
rn300z72q8p	9	24	are	be	AUX
rn300z72q8p	9	25	based	base	VERB
rn300z72q8p	9	26	on	on	ADP
rn300z72q8p	9	27	the	the	DET
rn300z72q8p	9	28	unproven	unproven	ADJ
rn300z72q8p	9	29	assumption	assumption	NOUN
rn300z72q8p	9	30	that	that	SCONJ
rn300z72q8p	9	31	large	large	ADJ
rn300z72q8p	9	32	numbers	number	NOUN
rn300z72q8p	9	33	can	can	AUX
rn300z72q8p	9	34	not	not	PART
rn300z72q8p	9	35	be	be	AUX
rn300z72q8p	9	36	factored	factor	VERB
rn300z72q8p	9	37	efficiently	efficiently	ADV
rn300z72q8p	9	38	.	.	PUNCT
rn300z72q8p	10	1	therefore	therefore	ADV
rn300z72q8p	10	2	,	,	PUNCT
rn300z72q8p	10	3	it	it	PRON
rn300z72q8p	10	4	is	be	AUX
rn300z72q8p	10	5	not	not	PART
rn300z72q8p	10	6	safe	safe	ADJ
rn300z72q8p	10	7	to	to	PART
rn300z72q8p	10	8	base	base	VERB
rn300z72q8p	10	9	the	the	DET
rn300z72q8p	10	10	security	security	NOUN
rn300z72q8p	10	11	of	of	ADP
rn300z72q8p	10	12	large	large	ADJ
rn300z72q8p	10	13	economic	economic	ADJ
rn300z72q8p	10	14	systems	system	NOUN
rn300z72q8p	10	15	on	on	ADP
rn300z72q8p	10	16	such	such	ADJ
rn300z72q8p	10	17	assumptions	assumption	NOUN
rn300z72q8p	10	18	.	.	PUNCT
rn300z72q8p	11	1	thus	thus	ADV
rn300z72q8p	11	2	,	,	PUNCT
rn300z72q8p	11	3	from	from	ADP
rn300z72q8p	11	4	a	a	DET
rn300z72q8p	11	5	cryptographical	cryptographical	ADJ
rn300z72q8p	11	6	point	point	NOUN
rn300z72q8p	11	7	of	of	ADP
rn300z72q8p	11	8	view	view	NOUN
rn300z72q8p	11	9	,	,	PUNCT
rn300z72q8p	11	10	the	the	DET
rn300z72q8p	11	11	crucial	crucial	ADJ
rn300z72q8p	11	12	problem	problem	NOUN
rn300z72q8p	11	13	in	in	ADP
rn300z72q8p	11	14	gate	gate	NOUN
rn300z72q8p	11	15	complexity	complexity	NOUN
rn300z72q8p	11	16	theory	theory	NOUN
rn300z72q8p	11	17	is	be	AUX
rn300z72q8p	11	18	to	to	PART
rn300z72q8p	11	19	prove	prove	VERB
rn300z72q8p	11	20	nontrivial	nontrivial	ADJ
rn300z72q8p	11	21	lower	low	ADJ
rn300z72q8p	11	22	bounds	bound	NOUN
rn300z72q8p	11	23	on	on	ADP
rn300z72q8p	11	24	the	the	DET
rn300z72q8p	11	25	complexity	complexity	NOUN
rn300z72q8p	11	26	of	of	ADP
rn300z72q8p	11	27	breaking	break	VERB
rn300z72q8p	11	28	practical	practical	ADJ
rn300z72q8p	11	29	cryptographic	cryptographic	ADJ
rn300z72q8p	11	30	systems	system	NOUN
rn300z72q8p	11	31	,	,	PUNCT
rn300z72q8p	11	32	for	for	ADP
rn300z72q8p	11	33	example	example	NOUN
rn300z72q8p	11	34	,	,	PUNCT
rn300z72q8p	11	35	one	one	NUM
rn300z72q8p	11	36	-	-	PUNCT
rn300z72q8p	11	37	way	way	NOUN
rn300z72q8p	11	38	functions	function	NOUN
rn300z72q8p	11	39	.	.	PUNCT
rn300z72q8p	12	1	in	in	ADP
rn300z72q8p	12	2	this	this	DET
rn300z72q8p	12	3	work	work	NOUN
rn300z72q8p	12	4	we	we	PRON
rn300z72q8p	12	5	argue	argue	VERB
rn300z72q8p	12	6	that	that	SCONJ
rn300z72q8p	12	7	the	the	DET
rn300z72q8p	12	8	theory	theory	NOUN
rn300z72q8p	12	9	of	of	ADP
rn300z72q8p	12	10	circuit	circuit	NOUN
rn300z72q8p	12	11	complexity	complexity	NOUN
rn300z72q8p	12	12	of	of	ADP
rn300z72q8p	12	13	boolean	boolean	ADJ
rn300z72q8p	12	14	functions	function	NOUN
rn300z72q8p	12	15	provides	provide	VERB
rn300z72q8p	12	16	the	the	DET
rn300z72q8p	12	17	mathematical	mathematical	ADJ
rn300z72q8p	12	18	background	background	NOUN
rn300z72q8p	12	19	to	to	PART
rn300z72q8p	12	20	achieve	achieve	VERB
rn300z72q8p	12	21	provable	provable	ADJ
rn300z72q8p	12	22	computational	computational	ADJ
rn300z72q8p	12	23	security	security	NOUN
rn300z72q8p	12	24	.	.	PUNCT
rn300z72q8p	13	1	among	among	ADP
rn300z72q8p	13	2	computational	computational	ADJ
rn300z72q8p	13	3	models	model	NOUN
rn300z72q8p	13	4	,	,	PUNCT
rn300z72q8p	13	5	the	the	DET
rn300z72q8p	13	6	circuit	circuit	NOUN
rn300z72q8p	13	7	model	model	NOUN
rn300z72q8p	13	8	has	have	VERB
rn300z72q8p	13	9	an	an	DET
rn300z72q8p	13	10	especially	especially	ADV
rn300z72q8p	13	11	simple	simple	ADJ
rn300z72q8p	13	12	definition	definition	NOUN
rn300z72q8p	13	13	and	and	CCONJ
rn300z72q8p	13	14	may	may	AUX
rn300z72q8p	13	15	be	be	AUX
rn300z72q8p	13	16	more	more	ADV
rn300z72q8p	13	17	amenable	amenable	ADJ
rn300z72q8p	13	18	to	to	PART
rn300z72q8p	13	19	combinatorial	combinatorial	VERB
rn300z72q8p	13	20	analysis	analysis	NOUN
rn300z72q8p	13	21	.	.	PUNCT
rn300z72q8p	14	1	the	the	DET
rn300z72q8p	14	2	gate	gate	NOUN
rn300z72q8p	14	3	complexity	complexity	NOUN
rn300z72q8p	14	4	of	of	ADP
rn300z72q8p	14	5	permutations	permutation	NOUN
rn300z72q8p	14	6	of	of	ADP
rn300z72q8p	14	7	gf(2n	gf(2n	NOUN
rn300z72q8p	14	8	)	)	PUNCT
rn300z72q8p	14	9	and	and	CCONJ
rn300z72q8p	14	10	of	of	ADP
rn300z72q8p	14	11	linear	linear	ADJ
rn300z72q8p	14	12	and	and	CCONJ
rn300z72q8p	14	13	quadratic	quadratic	ADJ
rn300z72q8p	14	14	boolean	boolean	ADJ
rn300z72q8p	14	15	functions	function	NOUN
rn300z72q8p	14	16	is	be	AUX
rn300z72q8p	14	17	studied	study	VERB
rn300z72q8p	14	18	by	by	ADP
rn300z72q8p	14	19	deriving	derive	VERB
rn300z72q8p	14	20	bounds	bound	NOUN
rn300z72q8p	14	21	on	on	ADP
rn300z72q8p	14	22	the	the	DET
rn300z72q8p	14	23	number	number	NOUN
rn300z72q8p	14	24	of	of	ADP
rn300z72q8p	14	25	modulo	modulo	NOUN
rn300z72q8p	14	26	-	-	PUNCT
rn300z72q8p	14	27	two	two	NUM
rn300z72q8p	14	28	additions	addition	NOUN
rn300z72q8p	14	29	and	and	CCONJ
rn300z72q8p	14	30	multiplications	multiplication	NOUN
rn300z72q8p	14	31	necessary	necessary	ADJ
rn300z72q8p	14	32	to	to	PART
rn300z72q8p	14	33	realize	realize	VERB
rn300z72q8p	14	34	them	they	PRON
rn300z72q8p	14	35	.	.	PUNCT