Best of both worlds : combining the user-friendliness of Wikis and the rigor of biological databases Sylvain Brohée (1,*,+), Roland Barriot (1,2,3,+) and Yves MoreauESAT-SCD. Katholieke Universiteit Leuven. Kas

Source URL: www.open-bio.org

• Wikis
• MediaWiki
• Bioinformatics
• Wiktionary
• Biological database

A MAC Mode for Lightweight Block Ciphers Atul Luykx COSIC KU Leuven, Belgium

Source URL: fse.rub.de

Clubbing Seals: Exploring the Ecosystem of Third-party Security Seals Tom Van Goethem‡ , Frank Piessens‡ , Wouter Joosen‡ , Nick Nikiforakis† ‡ iMinds-Distrinet, KU Leuven, 3001 Leuven, Belgium

Source URL: securitee.org

Exercises on pairings on elliptic curves Andreas Enge Leuven, Friday, 13 September 2013 Exercise 1 (Weil reciprocity). Let E : Y 2 = X 3 + X over F7 , f = Y , g = X−1 X−3 . Compute div f and div g, and verify that f

Source URL: www.cosic.esat.kuleuven.be

• Cryptography
• Algebra
• Public-key cryptography
• Pairing-based cryptography
• Elliptic curves
• Group theory
• Analytic number theory
• Weil pairing
• Divisor
• Pairing
• Homomorphic signatures for network coding

Live-Range Reordering Sven Verdoolaege Albert Cohen Polly Labs and KU Leuven

Source URL: impact.gforge.inria.fr

Efficient Negative Databases from Cryptographic Hash Functions George Danezis, Claudia Diaz, Sebastian Faust, Emilia K¨asper, Carmela Troncoso, and Bart Preneel K.U. Leuven, ESAT/COSIC, Kasteelpark Arenberg 10,

Source URL: www0.cs.ucl.ac.uk

• Cryptography
• Information retrieval
• Search algorithms
• Information science
• Hashing
• Error detection and correction
• Hash function
• Cryptographic hash function
• RSA

Recent advances in lifted inference @ Leuven H. Blockeel, J. Davis, L. De Raedt, D. Fierens, W. Meert, N. Taghipour, G. Van den Broeck SML, April 19, 2012

Source URL: web.cs.ucla.edu

January 20, 2015 Polyhedral Compilation without Polyhedra Sven Verdoolaege INRIA and KU Leuven

Source URL: polycomp.gforge.inria.fr

The Computational Power and Complexity of Constraint Handling Rules JON SNEYERS, TOM SCHRIJVERS, and BART DEMOEN K.U.Leuven Constraint Handling Rules (CHR) is a high-level rule-based programming language which is

Source URL: people.cs.kuleuven.be

XPX: Generalized Tweakable Even-Mansour with Improved Security Guarantees Bart Mennink KU Leuven (Belgium)

Source URL: www1.spms.ntu.edu.sg