Speeding Up the Constraint-Based Method in Difference Logic ⋆ Lorenzo Candeago1, Daniel Larraz2, Albert Oliveras2, Enric Rodr´ıguez-Carbonell2, and Albert Rubio2 2

Source URL: www.lsi.upc.edu

• Mathematics
• Theoretical computer science
• Algebra
• Linear programming
• Formal methods
• Constraint programming
• Declarative programming
• Invariant
• Satisfiability modulo theories
• Linear inequality
• Inequality

Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California

Source URL: www.doc.ic.ac.uk

• Botnets
• Cybercrime
• Computing
• Cyberwarfare
• Torpig
• Srizbi botnet
• Festi
• Fast flux
• Domain generation algorithm
• Bot herder
• The Spamhaus Project
• Conficker

Seuss: What the Doctor Ordered Lorenzo Alvisi Rajeev Joshi Calvin Lin

Source URL: rjoshi.org

• Computer programming
• Computing
• Edsger W. Dijkstra
• Software engineering
• Parallel computing
• Concurrent computing
• Subroutine
• Algorithm
• Thread
• Task
• Concurrency
• Scheduling

MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity Martin Albrecht1 , Lorenzo Grassi3 , Christian Rechberger2,3 , Arnab Roy2 , and Tyge Tiessen2 1

Source URL: eprint.iacr.org

• Cryptography
• Block ciphers
• Data Encryption Standard
• Finite fields
• Feistel cipher
• ARIA
• Advanced Encryption Standard
• Differential cryptanalysis
• ICE
• Interpolation attack
• Stream cipher
• XTR

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Source URL: www.cs.utexas.edu

• Transaction processing
• Computing
• Fault-tolerant computer systems
• Data management
• Application checkpointing
• Data
• Rollback
• Database transaction
• Checkpoint
• Communication protocol
• Two-phase commit protocol

Al "Circolo della Castagnola di Ventimiglia via Roma, VENTIMIGLIA (Cortese attenzione Cav. Lorenzo VIALE) Il sottoscritto/a

Source URL: www.circolodellacastagnoladiventimiglia.it

José Manuel Sánchez de Lorenzo-Cáceres Santa Cruz de TenerifeCursé los estudios de Ingeniería Técnica Agrícola en la Escuela Universitaria de Ingenieros Técnicos Agrícolas de La Laguna (Tenerife), finali

Source URL: www.arbolesornamentales.es

ISTITUTO COMPRENSIVO STATALE 59021 "LORENZO BARTOLINI" Via Nuova per Schignano,25

Source URL: www.comprensivovaiano.it

Sercrisma International S.L. HISTOLOGY AND HISTOPATHOLOGY C/Lorenzo Pausa 3, 4ºBMURCIA- Spain Fax:

Source URL: www.hh.um.es

Istituto Comprensivo Statale “Lorenzo Bartolini” Vaiano Piano dell’Offerta Formativa Parte prima

Source URL: www.comprensivovaiano.it