%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Sat Feb 1 09:34:49 MST 2020 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$L$}{% Eick:2010:CPQ% }. \NAMECITE{{1.0}}{% Tanaka:2010:N% }. \NAMECITE{10th}{% Pieprzyk:2010:TCC% }. \NAMECITE{11th}{% Gong:2010:PCI% }. \NAMECITE{12th}{% Lee:2010:ISC% }. \NAMECITE{16th}{% Abe:2010:ACA% }. \NAMECITE{{2}}{% Yu:2010:DCL% }. \NAMECITE{{2.5}}{% Bruns:2010:IN% }. \NAMECITE{29th}{% Gilbert:2010:ACE% }. \NAMECITE{30th}{% Rabin:2010:ACC% }. \NAMECITE{5th}{% Bao:2010:ISC% }. \NAMECITE{8.8/11.2}{% Gollmann:2010:SCR% }. \NAMECITE{9th}{% Gollmann:2010:SCR,% Heng:2010:CNS% }. \NAMECITE{Accurate}{% Rump:2010:ARC% }. \NAMECITE{advanced}{% Gollmann:2010:SCR% }. \NAMECITE{{Advances}}{% Abe:2010:ACA,% Gilbert:2010:ACE,% Rabin:2010:ACC% }. \NAMECITE{Africa}{% Bernstein:2010:PCA% }. \NAMECITE{Africacrypt}{% Bernstein:2010:PCA% }. \NAMECITE{Algebra}{% Abbott:2010:CCL,% Behrends:2010:THP,% Markwig:2010:CAM,% Tec:2010:ACP,% Yu:2010:DCL% }. \NAMECITE{Algebraic}{% Karavelas:2010:EGA% }. \NAMECITE{Algorithm}{% Blanco:2010:NDA,% Mucherino:2010:MJI,% Nakayama:2010:ACI% }. \NAMECITE{Algorithms}{% Noro:2010:NAC% }. \NAMECITE{Allocation}{% Dumas:2010:LFS% }. \NAMECITE{Alternative}{% Erocal:2010:SPU% }. \NAMECITE{America}{% Abdalla:2010:PCL% }. \NAMECITE{Analysis}{% Reininghaus:2010:TCF% }. \NAMECITE{annual}{% Gilbert:2010:ACE,% Rabin:2010:ACC% }. \NAMECITE{application}{% Abe:2010:ACA,% Gollmann:2010:SCR% }. \NAMECITE{applications}{% Gilbert:2010:ACE% }. \NAMECITE{April}{% Gollmann:2010:SCR% }. \NAMECITE{Arbitrary}{% Blanco:2010:NDA% }. \NAMECITE{Arithmetic}{% Halperin:2010:CPC,% Revol:2010:SIA,% Rump:2010:ARC% }. \NAMECITE{Asiacrypt}{% Abe:2010:ACA% }. \NAMECITE{August}{% Abdalla:2010:PCL,% Rabin:2010:ACC% }. \NAMECITE{Automated}{% Tec:2010:ACP,% Urban:2010:EAT% }. \NAMECITE{Barbara}{% Rabin:2010:ACC% }. \NAMECITE{Based}{% Morig:2010:DDC,% vonGagern:2010:LOB% }. \NAMECITE{Bases}{% Dotsenko:2010:OGB,% Eick:2010:CPQ,% Faugere:2010:FLC% }. \NAMECITE{Beijing}{% Bao:2010:ISC% }. \NAMECITE{Beyond}{% Abbott:2010:CCL% }. \NAMECITE{Binomial}{% Blanco:2010:NDA% }. \NAMECITE{Bivariate}{% Rouillier:2010:SSB% }. \NAMECITE{Black}{% Ambrose:2010:CMT% }. \NAMECITE{Black-Box}{% Ambrose:2010:CMT% }. \NAMECITE{Blocks}{% Dumas:2010:LFS% }. \NAMECITE{Box}{% Ambrose:2010:CMT% }. \NAMECITE{Branch}{% Mucherino:2010:MJI% }. \NAMECITE{Building}{% Arthan:2010:BLM,% Dumas:2010:LFS% }. \NAMECITE{{C}}{% Abbott:2010:CCL,% Neher:2010:CIF,% Popova:2010:CFE,% Rehn:2010:CTE% }. \NAMECITE{{C-XSC}}{% Popova:2010:CFE% }. \NAMECITE{CA}{% Pieprzyk:2010:TCC,% Rabin:2010:ACC% }. \NAMECITE{CANS}{% Heng:2010:CNS% }. \NAMECITE{card}{% Gollmann:2010:SCR% }. \NAMECITE{CARDIS}{% Gollmann:2010:SCR% }. \NAMECITE{Certified}{% Halperin:2010:CPC,% Lecerf:2010:MTL% }. \NAMECITE{{CGAL}}{% Karavelas:2010:EGA% }. \NAMECITE{Characteristic}{% Blanco:2010:NDA% }. \NAMECITE{China}{% Bao:2010:ISC% }. \NAMECITE{Class}{% Neher:2010:CIF% }. \NAMECITE{Classical}{% Ambrose:2010:CMT% }. \NAMECITE{{CoCoALib}}{% Abbott:2010:CCL% }. \NAMECITE{Codes}{% Chevillard:2010:SED% }. \NAMECITE{Coherent}{% Pasechnik:2010:GPC% }. \NAMECITE{Cohomology}{% Barakat:2010:SCS% }. \NAMECITE{Communicating}{% Popova:2010:CFE% }. \NAMECITE{Commutative}{% Abbott:2010:CCL% }. \NAMECITE{Compilation}{% Dumas:2010:LFS% }. \NAMECITE{Complex}{% Neher:2010:CIF% }. \NAMECITE{Computation}{% Pasechnik:2010:GPC,% Yu:2010:DCL% }. \NAMECITE{Computational}{% Behrends:2010:THP,% Hales:2010:CDG,% Reininghaus:2010:TCF% }. \NAMECITE{Computations}{% Abbott:2010:CCL,% Karavelas:2010:EGA,% Lecerf:2010:MTL,% Morig:2010:DDC% }. \NAMECITE{Computer}{% Markwig:2010:CAM% }. \NAMECITE{Computing}{% Eick:2010:CPQ,% Faugere:2010:FLC,% Halperin:2010:CPC,% Mehlhorn:2010:REG,% Miyamoto:2010:IFC,% Nakayama:2010:ACI,% Noro:2010:NAC,% Rump:2010:ARC,% Zimmermann:2010:RCG% }. \NAMECITE{Conference}{% Gollmann:2010:SCR,% Abdalla:2010:PCL,% Abe:2010:ACA,% Bao:2010:ISC,% Bernstein:2010:PCA,% Gilbert:2010:ACE,% Gong:2010:PCI,% Heng:2010:CNS,% Lee:2010:ISC,% Pieprzyk:2010:TCC,% Rabin:2010:ACC% }. \NAMECITE{Configurations}{% Pasechnik:2010:GPC% }. \NAMECITE{Confluence}{% Tec:2010:ACP% }. \NAMECITE{Congress}{% Fukuda:2010:MSI% }. \NAMECITE{Conjecture}{% Hales:2010:LPK% }. \NAMECITE{Constraints}{% Adjiashvili:2010:RRQ% }. \NAMECITE{Construction}{% Morig:2010:DDC,% Weber:2010:CHS% }. \NAMECITE{Constructive}{% Ambrose:2010:CMT% }. \NAMECITE{Controlled}{% Halperin:2010:CPC% }. \NAMECITE{{Core}}{% Yu:2010:DCL% }. \NAMECITE{{CoStLy}}{% Neher:2010:CIF% }. \NAMECITE{Create}{% Erocal:2010:SPU% }. \NAMECITE{Crypto}{% Rabin:2010:ACC% }. \NAMECITE{cryptographer}{% Pieprzyk:2010:TCC% }. \NAMECITE{cryptographic}{% Gilbert:2010:ACE% }. \NAMECITE{Cryptography}{% Sendrier:2010:PQC% }. \NAMECITE{cryptology}{% Abdalla:2010:PCL,% Abe:2010:ACA,% Bao:2010:ISC,% Bernstein:2010:PCA,% Gilbert:2010:ACE,% Gong:2010:PCI,% Lee:2010:ISC,% Pieprzyk:2010:TCC,% Rabin:2010:ACC,% Heng:2010:CNS% }. \NAMECITE{CT}{% Pieprzyk:2010:TCC% }. \NAMECITE{CT-RSA}{% Pieprzyk:2010:TCC% }. \NAMECITE{{DAG}}{% Morig:2010:DDC% }. \NAMECITE{Dags}{% Morig:2010:DDC% }. \NAMECITE{Darmstadt}{% Sendrier:2010:PQC% }. \NAMECITE{Data}{% Reininghaus:2010:TCF% }. \NAMECITE{DDMF}{% Benoit:2010:DDM% }. \NAMECITE{December}{% Abe:2010:ACA,% Bao:2010:ISC,% Gong:2010:PCI,% Heng:2010:CNS,% Lee:2010:ISC% }. \NAMECITE{Decision}{% Morig:2010:DDC% }. \NAMECITE{Decomposition}{% Noro:2010:NAC% }. \NAMECITE{Deferring}{% Morig:2010:DDC% }. \NAMECITE{Definite}{% Nakayama:2010:ACI% }. \NAMECITE{Deformations}{% Hoffmann:2010:LDP% }. \NAMECITE{Design}{% Yu:2010:DCL% }. \NAMECITE{Desingularization}{% Blanco:2010:NDA% }. \NAMECITE{Development}{% Chevillard:2010:SED% }. \NAMECITE{Dictionary}{% Benoit:2010:DDM% }. \NAMECITE{Differential}{% Nakayama:2010:ACI,% Tec:2010:ACP% }. \NAMECITE{Discrete}{% Hales:2010:CDG,% Reininghaus:2010:TCF% }. \NAMECITE{Distance}{% Mucherino:2010:MJI% }. \NAMECITE{Do}{% Arthan:2010:BLM% }. \NAMECITE{{Dynamic}}{% Benoit:2010:DDM% }. \NAMECITE{Efficient}{% Leiserson:2010:EEL,% Mehlhorn:2010:REG% }. \NAMECITE{Engine}{% Liberti:2010:ROS% }. \NAMECITE{Enumerating}{% Citro:2010:EGR% }. \NAMECITE{Environment}{% Chevillard:2010:SED% }. \NAMECITE{Equations}{% Nakayama:2010:ACI% }. \NAMECITE{{Euler}}{% Alama:2010:EPF% }. \NAMECITE{Eurocrypt}{% Gilbert:2010:ACE% }. \NAMECITE{Evaluation}{% Leiserson:2010:EEL,% Urban:2010:EAT% }. \NAMECITE{Exact}{% Karavelas:2010:EGA,% Morig:2010:DDC,% Yu:2010:DCL% }. \NAMECITE{Exploiting}{% Kojima:2010:ESS,% Rehn:2010:CTE% }. \NAMECITE{Expression}{% Morig:2010:DDC% }. \NAMECITE{Expressions}{% Popova:2010:CFE% }. \NAMECITE{Fans}{% Jensen:2010:TSP% }. \NAMECITE{Fast}{% Hart:2010:FLN% }. \NAMECITE{{FGb}}{% Faugere:2010:FLC% }. \NAMECITE{Filters}{% vonGagern:2010:LOB% }. \NAMECITE{Finitely}{% Eick:2010:CPQ% }. \NAMECITE{first}{% Abdalla:2010:PCL% }. \NAMECITE{Fixed}{% Halperin:2010:CPC% }. \NAMECITE{Fixed-Precision}{% Halperin:2010:CPC% }. \NAMECITE{Floating}{% Rump:2010:ARC% }. \NAMECITE{Floating-Point}{% Rump:2010:ARC% }. \NAMECITE{Floats}{% Morig:2010:DDC% }. \NAMECITE{Formal}{% Harrison:2010:FPP% }. \NAMECITE{Formula}{% Alama:2010:EPF% }. \NAMECITE{Founding}{% Dumas:2010:LFS% }. \NAMECITE{Framework}{% Reininghaus:2010:TCF% }. \NAMECITE{Francisco}{% Pieprzyk:2010:TCC% }. \NAMECITE{Free}{% Erocal:2010:SPU% }. \NAMECITE{Function}{% Miyamoto:2010:IFC% }. \NAMECITE{Functional}{% Popova:2010:CFE% }. \NAMECITE{Functions}{% Benoit:2010:DDM,% Cuyt:2010:VSF,% Neher:2010:CIF% }. \NAMECITE{{Galois}}{% Citro:2010:EGR% }. \NAMECITE{{GAP}}{% Barakat:2010:SCS,% Behrends:2010:THP,% Pasechnik:2010:GPC% }. \NAMECITE{Generating}{% Haase:2010:GSL% }. \NAMECITE{Geometric}{% Halperin:2010:CPC,% Karavelas:2010:EGA,% Mehlhorn:2010:REG% }. \NAMECITE{Geometry}{% Hales:2010:CDG,% Markwig:2010:CAM,% Mucherino:2010:MJI,% Weber:2010:CHS,% Yu:2010:DCL% }. \NAMECITE{Germany}{% Gollmann:2010:SCR,% Sendrier:2010:PQC% }. \NAMECITE{{GNU}}{% Zimmermann:2010:RCG% }. \NAMECITE{{Gr{\"o}bner}}{% Dotsenko:2010:OGB,% Eick:2010:CPQ,% Faugere:2010:FLC% }. \NAMECITE{Groups}{% Ambrose:2010:CMT,% Eick:2010:CPQ,% Miyamoto:2010:IFC% }. \NAMECITE{Harmonic}{% Weber:2010:CHS% }. \NAMECITE{High}{% Behrends:2010:THP% }. \NAMECITE{High-Performance}{% Behrends:2010:THP% }. \NAMECITE{{HOL}}{% Adams:2010:IHZ% }. \NAMECITE{Hyderabad}{% Gong:2010:PCI% }. \NAMECITE{ICISC}{% Lee:2010:ISC% }. \NAMECITE{ICMS}{% Fukuda:2010:MSI% }. \NAMECITE{Ideals}{% Noro:2010:NAC% }. \NAMECITE{IFIP}{% Gollmann:2010:SCR% }. \NAMECITE{Image}{% vonGagern:2010:LOB% }. \NAMECITE{Implementation}{% Dotsenko:2010:OGB,% Mucherino:2010:MJI% }. \NAMECITE{Improvement}{% Miyamoto:2010:IFC% }. \NAMECITE{Inclusion}{% Neher:2010:CIF% }. \NAMECITE{India}{% Gong:2010:PCI% }. \NAMECITE{Indocrypt}{% Gong:2010:PCI% }. \NAMECITE{Infinite}{% Tec:2010:ACP% }. \NAMECITE{information}{% Abdalla:2010:PCL,% Abe:2010:ACA,% Bao:2010:ISC,% Lee:2010:ISC% }. \NAMECITE{Inhomogeneous}{% Nakayama:2010:ACI% }. \NAMECITE{INSCRYPT}{% Bao:2010:ISC% }. \NAMECITE{Integer}{% Verdoolaege:2010:IIS% }. \NAMECITE{Integrals}{% Nakayama:2010:ACI% }. \NAMECITE{Integro}{% Tec:2010:ACP% }. \NAMECITE{Integro-Differential}{% Tec:2010:ACP% }. \NAMECITE{International}{% Fukuda:2010:MSI,% Gollmann:2010:SCR,% Sendrier:2010:PQC,% Abdalla:2010:PCL,% Abe:2010:ACA,% Bao:2010:ISC,% Bernstein:2010:PCA,% Gilbert:2010:ACE,% Gong:2010:PCI,% Heng:2010:CNS,% Lee:2010:ISC% }. \NAMECITE{Interval}{% Revol:2010:SIA% }. \NAMECITE{Introducing}{% Adams:2010:IHZ% }. \NAMECITE{Introduction}{% Bruns:2010:IN,% Hart:2010:FLN% }. \NAMECITE{{isl}}{% Verdoolaege:2010:IIS% }. \NAMECITE{Japan}{% Fukuda:2010:MSI% }. \NAMECITE{{jeep}}{% Mucherino:2010:MJI% }. \NAMECITE{June}{% Gilbert:2010:ACE% }. \NAMECITE{K{\=o}be}{% Fukuda:2010:MSI% }. \NAMECITE{{Kepler}}{% Hales:2010:LPK% }. \NAMECITE{Korea}{% Lee:2010:ISC% }. \NAMECITE{Kuala}{% Heng:2010:CNS% }. \NAMECITE{Large}{% Kojima:2010:ESS,% Lecerf:2010:MTL,% Leiserson:2010:EEL% }. \NAMECITE{Latin}{% Abdalla:2010:PCL% }. \NAMECITE{Latincrypt}{% Abdalla:2010:PCL% }. \NAMECITE{Lattice}{% Haase:2010:GSL% }. \NAMECITE{Libraries}{% Revol:2010:SIA% }. \NAMECITE{Library}{% Abbott:2010:CCL,% Arthan:2010:BLM,% Faugere:2010:FLC,% Hart:2010:FLN,% Neher:2010:CIF,% Urban:2010:EAT,% Verdoolaege:2010:IIS,% Yu:2010:DCL,% vonGagern:2010:LOB% }. \NAMECITE{Like}{% Arthan:2010:BLM% }. \NAMECITE{{LinBox}}{% Dumas:2010:LFS% }. \NAMECITE{Linear}{% Hales:2010:LPK% }. \NAMECITE{Local}{% Hoffmann:2010:LDP% }. \NAMECITE{Lumpur}{% Heng:2010:CNS% }. \NAMECITE{{Magma}}{% Cannon:2010:MTN,% Erocal:2010:SPU% }. \NAMECITE{Malaysia}{% Heng:2010:CNS% }. \NAMECITE{{Maple}}{% Erocal:2010:SPU% }. \NAMECITE{March}{% Pieprzyk:2010:TCC% }. \NAMECITE{{Mathemagix}}{% Lecerf:2010:MTL% }. \NAMECITE{{Mathematica}}{% Erocal:2010:SPU,% Popova:2010:CFE% }. \NAMECITE{Mathematical}{% Arthan:2010:BLM,% Benoit:2010:DDM,% Erocal:2010:SPU,% Fukuda:2010:MSI,% Urban:2010:EAT,% vonGagern:2010:LOB,% Fukuda:2010:MSI% }. \NAMECITE{{MATLAB}}{% Erocal:2010:SPU% }. \NAMECITE{May}{% Bernstein:2010:PCA,% Gilbert:2010:ACE,% Sendrier:2010:PQC% }. \NAMECITE{{MD}}{% Mucherino:2010:MJI% }. \NAMECITE{{MD-jeep}}{% Mucherino:2010:MJI% }. \NAMECITE{Mechanized}{% Arthan:2010:BLM% }. \NAMECITE{Membership}{% Ambrose:2010:CMT% }. \NAMECITE{Meshes}{% Hoffmann:2010:LDP% }. \NAMECITE{Methods}{% Markwig:2010:CAM% }. \NAMECITE{Mexico}{% Abdalla:2010:PCL% }. \NAMECITE{{Mizar}}{% Alama:2010:EPF,% Urban:2010:EAT% }. \NAMECITE{Model}{% Verdoolaege:2010:IIS% }. \NAMECITE{Monaco}{% Gilbert:2010:ACE% }. \NAMECITE{{Morse}}{% Reininghaus:2010:TCF% }. \NAMECITE{{MPFR}}{% Zimmermann:2010:RCG% }. \NAMECITE{network}{% Heng:2010:CNS% }. \NAMECITE{{Normaliz}}{% Bruns:2010:IN% }. \NAMECITE{Normalizers}{% Miyamoto:2010:IFC% }. \NAMECITE{Number}{% Cannon:2010:MTN,% Hart:2010:FLN% }. \NAMECITE{Numeric}{% Lecerf:2010:MTL,% Yu:2010:DCL% }. \NAMECITE{Numerical}{% Chevillard:2010:SED% }. \NAMECITE{{NZMATH}}{% Tanaka:2010:N% }. \NAMECITE{{OpenGL}}{% vonGagern:2010:LOB% }. \NAMECITE{{OpenGL}-Based}{% vonGagern:2010:LOB% }. \NAMECITE{Operadic}{% Dotsenko:2010:OGB% }. \NAMECITE{Optimization}{% Liberti:2010:ROS% }. \NAMECITE{Orbifolds}{% Barakat:2010:SCS% }. \NAMECITE{Package}{% Pasechnik:2010:GPC% }. \NAMECITE{{papers}}{% Bao:2010:ISC,% Lee:2010:ISC% }. \NAMECITE{Parallel}{% Dumas:2010:LFS% }. \NAMECITE{Parametrized}{% Tec:2010:ACP% }. \NAMECITE{Passau}{% Gollmann:2010:SCR% }. \NAMECITE{Performance}{% Behrends:2010:THP% }. \NAMECITE{Permutation}{% Miyamoto:2010:IFC% }. \NAMECITE{Perturbation}{% Halperin:2010:CPC% }. \NAMECITE{{Pick}}{% Harrison:2010:FPP% }. \NAMECITE{Planar}{% Hoffmann:2010:LDP% }. \NAMECITE{Point}{% Rump:2010:ARC% }. \NAMECITE{Polycyclic}{% Eick:2010:CPQ% }. \NAMECITE{Polyhedral}{% Jensen:2010:TSP,% Rehn:2010:CTE,% Verdoolaege:2010:IIS% }. \NAMECITE{Polyhedron}{% Alama:2010:EPF% }. \NAMECITE{Polynomial}{% Noro:2010:NAC% }. \NAMECITE{Polynomials}{% Leiserson:2010:EEL,% Rouillier:2010:SSB% }. \NAMECITE{Polytopes}{% Haase:2010:GSL% }. \NAMECITE{{Post}}{% Sendrier:2010:PQC% }. \NAMECITE{{Post-Quantum}}{% Sendrier:2010:PQC% }. \NAMECITE{PQCrypto}{% Sendrier:2010:PQC% }. \NAMECITE{Precision}{% Halperin:2010:CPC% }. \NAMECITE{Prescribed}{% Weber:2010:CHS% }. \NAMECITE{Presented}{% Eick:2010:CPQ% }. \NAMECITE{Primary}{% Noro:2010:NAC% }. \NAMECITE{Problems}{% Kojima:2010:ESS,% Mucherino:2010:MJI% }. \NAMECITE{{Proceedings}}{% Abe:2010:ACA,% Gilbert:2010:ACE,% Gong:2010:PCI,% Heng:2010:CNS,% Pieprzyk:2010:TCC,% Rabin:2010:ACC,% Sendrier:2010:PQC,% Abdalla:2010:PCL,% Bernstein:2010:PCA,% Fukuda:2010:MSI,% Gollmann:2010:SCR% }. \NAMECITE{Programming}{% Kojima:2010:ESS,% Lecerf:2010:MTL% }. \NAMECITE{Programs}{% Hales:2010:LPK% }. \NAMECITE{{Progress}}{% Abdalla:2010:PCL,% Bernstein:2010:PCA,% Gong:2010:PCI% }. \NAMECITE{{Project}}{% Erocal:2010:SPU% }. \NAMECITE{Proof}{% Harrison:2010:FPP,% Tec:2010:ACP% }. \NAMECITE{Proofs}{% Arthan:2010:BLM% }. \NAMECITE{Proving}{% Urban:2010:EAT% }. \NAMECITE{Prune}{% Mucherino:2010:MJI% }. \NAMECITE{Puebla}{% Abdalla:2010:PCL% }. \NAMECITE{Quad}{% Hoffmann:2010:LDP% }. \NAMECITE{Quad-Meshes}{% Hoffmann:2010:LDP% }. \NAMECITE{Quadratic}{% Adjiashvili:2010:RRQ% }. \NAMECITE{{Quantum}}{% Sendrier:2010:PQC% }. \NAMECITE{Quotients}{% Eick:2010:CPQ% }. \NAMECITE{Redundant}{% Adjiashvili:2010:RRQ% }. \NAMECITE{Reformulation}{% Liberti:2010:ROS% }. \NAMECITE{Reformulation-Optimization}{% Liberti:2010:ROS% }. \NAMECITE{Reliable}{% Mehlhorn:2010:REG,% Rump:2010:ARC,% Zimmermann:2010:RCG% }. \NAMECITE{Removing}{% Adjiashvili:2010:RRQ% }. \NAMECITE{Representations}{% Citro:2010:EGR% }. \NAMECITE{research}{% Gollmann:2010:SCR% }. \NAMECITE{revised}{% Bao:2010:ISC,% Lee:2010:ISC% }. \NAMECITE{Rewrite}{% Tec:2010:ACP% }. \NAMECITE{RSA}{% Pieprzyk:2010:TCC% }. \NAMECITE{{Sage}}{% Citro:2010:EGR,% Erocal:2010:SPU% }. \NAMECITE{San}{% Pieprzyk:2010:TCC% }. \NAMECITE{Santa}{% Rabin:2010:ACC% }. \NAMECITE{Scale}{% Kojima:2010:ESS,% Lecerf:2010:MTL% }. \NAMECITE{Scope}{% Dumas:2010:LFS% }. \NAMECITE{security}{% Abdalla:2010:PCL,% Abe:2010:ACA,% Bao:2010:ISC,% Heng:2010:CNS,% Lee:2010:ISC% }. \NAMECITE{selected}{% Bao:2010:ISC,% Lee:2010:ISC% }. \NAMECITE{Semidefinite}{% Kojima:2010:ESS% }. \NAMECITE{Seoul}{% Lee:2010:ISC% }. \NAMECITE{Separate}{% Dumas:2010:LFS% }. \NAMECITE{September}{% Fukuda:2010:MSI% }. \NAMECITE{Set}{% Verdoolaege:2010:IIS% }. \NAMECITE{Simplicial}{% Barakat:2010:SCS% }. \NAMECITE{Singapore}{% Abe:2010:ACA% }. \NAMECITE{{Smart}}{% Gollmann:2010:SCR% }. \NAMECITE{Smooth}{% Barakat:2010:SCS,% Haase:2010:GSL% }. \NAMECITE{Software}{% Cuyt:2010:VSF,% Erocal:2010:SPU,% Liberti:2010:ROS,% Fukuda:2010:MSI% }. \NAMECITE{{Sollya}}{% Chevillard:2010:SED% }. \NAMECITE{Solving}{% Rouillier:2010:SSB% }. \NAMECITE{South}{% Bernstein:2010:PCA% }. \NAMECITE{Sparsity}{% Kojima:2010:ESS% }. \NAMECITE{Special}{% Cuyt:2010:VSF% }. \NAMECITE{Speeds}{% Morig:2010:DDC% }. \NAMECITE{Speeds-Up}{% Morig:2010:DDC% }. \NAMECITE{Standardized}{% Revol:2010:SIA% }. \NAMECITE{Stellenbosch}{% Bernstein:2010:PCA% }. \NAMECITE{Storing}{% Morig:2010:DDC% }. \NAMECITE{Structured}{% Kojima:2010:ESS% }. \NAMECITE{Sums}{% Morig:2010:DDC% }. \NAMECITE{Surfaces}{% Weber:2010:CHS% }. \NAMECITE{Symbolic}{% Lecerf:2010:MTL% }. \NAMECITE{Symmetric}{% Jensen:2010:TSP% }. \NAMECITE{Symmetries}{% Rehn:2010:CTE% }. \NAMECITE{System}{% Tec:2010:ACP% }. \NAMECITE{Systems}{% Rouillier:2010:SSB% }. \NAMECITE{{TADD}}{% Reininghaus:2010:TCF% }. \NAMECITE{techniques}{% Gilbert:2010:ACE% }. \NAMECITE{Testing}{% Ambrose:2010:CMT% }. \NAMECITE{Theorem}{% Harrison:2010:FPP,% Urban:2010:EAT% }. \NAMECITE{Theory}{% Cannon:2010:MTN,% Hart:2010:FLN,% Reininghaus:2010:TCF,% Abe:2010:ACA,% Gilbert:2010:ACE% }. \NAMECITE{Third}{% Sendrier:2010:PQC,% Bernstein:2010:PCA,% Fukuda:2010:MSI% }. \NAMECITE{Tool}{% Cannon:2010:MTN% }. \NAMECITE{Tools}{% Rehn:2010:CTE% }. \NAMECITE{{Topics}}{% Pieprzyk:2010:TCC% }. \NAMECITE{track}{% Pieprzyk:2010:TCC% }. \NAMECITE{Traversing}{% Jensen:2010:TSP% }. \NAMECITE{Tropical}{% Markwig:2010:CAM% }. \NAMECITE{Unifying}{% Erocal:2010:SPU% }. \NAMECITE{USA}{% Pieprzyk:2010:TCC,% Rabin:2010:ACC% }. \NAMECITE{Used}{% Revol:2010:SIA% }. \NAMECITE{Using}{% Reininghaus:2010:TCF% }. \NAMECITE{Validated}{% Cuyt:2010:VSF% }. \NAMECITE{Varieties}{% Blanco:2010:NDA% }. \NAMECITE{via}{% Eick:2010:CPQ% }. \NAMECITE{Viable}{% Erocal:2010:SPU% }. \NAMECITE{WG}{% Gollmann:2010:SCR% }. \NAMECITE{Workshop}{% Sendrier:2010:PQC% }. \NAMECITE{{XSC}}{% Popova:2010:CFE% }. \NAMECITE{{Zero}}{% Adams:2010:IHZ% }.