Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls

Source URL: www.lsi.upc.edu

• Mathematics
• Theoretical computer science
• Automated theorem proving
• Algebra
• Logic in computer science
• Algebraic structures
• Semiring
• Boolean satisfiability problem
• DPLL algorithm
• Unit propagation
• Maximum satisfiability problem
• Resolution

LS-Designs: Bitslice Encryption for Efficient Masked Software Implementations Vincent Grosso1 , Ga¨etan Leurent1,2 , Fran¸cois-Xavier Standaert1 , Kerem Varici1 1 ICTEAM/ELEN/Crypto Group, Universit´e catholique de L

Source URL: who.rocq.inria.fr

• Cryptography
• Block ciphers
• Differential cryptanalysis
• Q
• Data Encryption Standard
• ICE
• S-box
• ARIA
• VEST
• NOEKEON
• Advanced Encryption Standard
• Substitutionpermutation network

PDF Document

Source URL: www.ls.shizuoka.ac.jp

PDF Document

Source URL: billstatus.ls.state.ms.us

PDF Document

Source URL: www.ls-suchtfragen-lsa.de

PDF Document

Source URL: www.ls-japan.org

PDF Document

Source URL: www.ls-live.com

PDF Document

Source URL: ls.informatik.uni-tuebingen.de

PDF Document

Source URL: www.ls.huji.ac.il

PDF Document

Source URL: www.ls-suchtfragen-lsa.de