Non-randomness in eSTREAM Candidates Salsa20 and TSC-4 Simon Fischer1 , Willi Meier1 , Cˆ ome Berbain , Jean-Fran¸cois Biasse2 , and M.J.B. Robshaw2 2

Source URL: www.lix.polytechnique.fr

• Cryptography
• Stream ciphers
• Salsa20
• VEST
• Tiny Encryption Algorithm
• Keystream
• ESTREAM
• ICE
• Weak key
• Data Encryption Standard
• Indocrypt

Administration of William J. Clinton, July 26 (d) This order does not require agencies to create new positions or to change existing qualification standards for any position. Sec. 2. Implementation. Each Federal a

Source URL: www.gpo.gov

• Special education in the United States
• Human rights
• Law
• Reasonable accommodation
• Equal Employment Opportunity Commission
• Discrimination
• Rehabilitation Act
• Equal employment opportunity
• Disability
• Americans with Disabilities Act
• Section 504 of the Rehabilitation Act

Se urity Estimates for Quadrati Field Based Cryptosystems Jean-Fran ois Biasse1 , Mi hael J. Ja obson, Jr.2 ? , and Alan K. Silvester3 1 

Source URL: www.lix.polytechnique.fr

• Mathematics
• Logarithms
• Mathematical analysis
• Discrete mathematics
• Binary logarithm
• 108
• Factorial
• Prime number
• Common logarithm
• P

Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Abstract algebra
• Mathematical analysis
• Graph
• Graph theory
• Partial derivative
• Valuation
• Representation
• Voltage graph
• operator

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term

Author2Vec: Learning Author Representations by Combining Content and Link Information Ganesh J1 Soumyajit Ganguly1 Manish Gupta1,2 Vasudeva Varma1 Vikram Pudi1 1 IIIT, Hyderabad, India, {ganesh.j, soumyajit.ganguly}@res

Source URL: gdac.uqam.ca

• Mathematics
• Computational neuroscience
• Machine learning
• Applied mathematics
• Artificial neural networks
• Feature learning
• Deep learning
• Outline of machine learning
• Mutual information
• Embedding
• Neural network

Grivaux, Julien Parabolic automorphisms of projective surfaces (after M. H. Gizatullin). (English) Zbl
Mosc. Math. J. 16, No. 2, Summary: In [Izv. Akad. Nauk SSSR, Ser. Mat. 44, 110–144 (

Source URL: jgrivaux.perso.math.cnrs.fr

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 3

Source URL: kannwischer.eu

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Hash-based cryptography
• Hashing
• Merkle signature scheme
• Digital signature
• Merkle tree
• Cryptographic hash function
• RSA
• Hash function
• Quantum digital signature

Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: jorgenavas.github.io

• Mathematics
• Abstract algebra
• Mathematical analysis
• Graph
• Graph theory
• Partial derivative
• Valuation
• Representation
• Voltage graph
• operator

Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Mathematics
• Abstract algebra
• Algebraic number theory
• Integer factorization algorithms
• Quadratic forms
• Field theory
• Numerical linear algebra
• Quadratic sieve
• Factorization
• Factor base
• Ideal class group