Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices Shi Bai1 , Damien Stehl´e1 and Weiqiang Wen1 1

Source URL: eprint.iacr.org

• Algebra
• Mathematics
• Cryptography
• Linear algebra
• Lattice-based cryptography
• Post-quantum cryptography
• Lattice points
• Computational hardness assumptions
• Lattice
• Euclidean vector
• Basis
• Crystal structure

Hardware Implementation and Side-Channel Analysis of Lapin Lubos Gaspar1 , Ga¨etan Leurent1,2 , and Fran¸cois-Xavier Standaert1 1 ICTEAM/ELEN/Crypto Group, Universit´e catholique de Louvain, Belgium.

Source URL: who.rocq.inria.fr

• Mathematics
• Multiplication
• Multiplication algorithm
• Advanced Encryption Standard
• Polynomial
• Abstract algebra
• Polynomials
• Error detection and correction
• Finite fields

MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Automated theorem proving
• Boolean algebra
• NP-complete problems
• Combinatorial optimization
• Maximum satisfiability problem
• Boolean satisfiability problem
• Resolution
• Unit propagation

Chapter 1 Kickstart:Wyoming Program Section 1. Authority. The Wyoming Business Council, pursuant to Wyoming Statute § c), is required to promulgate such rules as are necessary to administer a “kickstart:Wyomi

Source URL: wyomingbusiness.org

• Wyoming Business Council
• Wyoming
• Funding
• Kickstart
• United States

On the (Im)possibility of Blind Message Authentication Codes Michel Abdalla1 , Chanathip Namprempre2 , and Gregory Neven1,3 1 Departement d’Informatique

Source URL: www.neven.org

• Cryptography
• Public-key cryptography
• Message authentication codes
• Error detection and correction
• Financial cryptography
• Digital signature
• Blind signature

Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1

Source URL: rjoshi.org

• Software testing
• Software engineering
• Model checkers
• Computing
• Theoretical computer science
• Formal methods
• Model checking
• Formal verification
• Random testing
• Test automation
• SPIN model checker
• Acceptance testing

design+artLAB postmoderne / Postplatz 1 / CH-6300 Zug Kontakt: 1+x Art Meets Science, Technology and Nature

Source URL: www.officelab.ch

Federal Register / Vol. 78, NoWednesday, June 19, Notices July 12, 2013–6 p.m.—Club Na´utico de Arecibo, Carr. 681 Km. 1.4, Barrio Islote, Sector Vigı´a, Arecibo, Puerto Rico. In the U.S. Virgin Isl

Source URL: otexa.trade.gov

• Chemistry
• Clothing
• Manufacturing
• 106th United States Congress
• African Growth and Opportunity Act
• Weaving
• Cotton
• Pattern
• Textile
• Dyeing
• Selvage

Do Cascades Recur? Justin Cheng1 , Lada A Adamic2 , Jon Kleinberg3 , Jure Leskovec4 1,4 1,4 Stanford University, 2 Facebook, 3 Cornell University

Source URL: gdac.uqam.ca