User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 1 - 25 of 239 results.

Pages

    • BookChapter
    The Maximum Weighted Submatrix Coverage Problem: A CP Approach
    Derval, Guillaume[UCL] Branders, Vincent[UCL] Dupont, Pierre[UCL] Schaus, Pierre[UCL] (2019) Integration of Constraint Programming, Artificial Intelligence, and Operations Research : Lecture Notes in Computer Science — [ISBN : 978-3-030-19212-9]
    • Speech
    Masking Proofs are Tight and How to Exploit it in Security Evaluations
    Grosso, Vincent Standaert, François-Xavier[UCL] (2018) 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2018) — Tel Aviv (Israel)
    • BookChapter
    Statistical Model Checking
    Legay, Axel[UCL] Lukina, Anna Traonouez, Louis Marie Yang, Junxing Smolka, Scott A. Grosu, Radu (2019) Lecture Notes in Computer Science : Computing and Software Science — [ISBN : 9783319919072]
    • Speech
    Iterated Matrix Reordering
    Van Vracem, Gauthier[UCL] Nijssen, Siegfried[UCL] (2021) Machine Learning and Knowledge Discovery in Databases, European Conference — Bilbao, Spain
    • Speech
    Solving the Expression Problem in C++, á la LMS
    Haeri, Seyed Hossein[UCL] Keir, Paul (2019) Theoretical Aspects of Computing – ICTAC 2019 — Hammamet, Tunisia
    • Speech
    When Is a Test Not a Proof?
    McMurtry, Eleanor Pereira, Olivier[UCL] Teague, Vanessa (2020) 25th European Symposium on Research in Computer Security, (ESORICS 2020) — Guildford, UK
    • Speech
    ConvoMap: Using Convolution to Order Boolean Data
    Bollen, Thomas[UCL] Leurquin, Guillaume[UCL] Nijssen, Siegfried[UCL] (2018) Intelligent Data Analysis — 's-Hertogenbosch
    • Speech
    Leakage Certification Revisited: Bounding Model Errors in Side-Channel Security Evaluations
    Bronchain, Olivier[UCL] Hendrickx, Julien M. Massart, Clément[UCL] Olshevsky, Alex Standaert, François-Xavier[UCL] (2019) 39th Annual International Cryptology Conference - Advances in Cryptology (CRYPTO 2019) — Sanra Barbara (USA)
    • Speech
    Universally Verifiable MPC and IRV Ballot Counting
    Ramchen, Kim Culnane, Chris Pereira, Olivier[UCL] Teague, Vanessa (2019) International Conference on Financial Cryptography and Data Security — Frigate Bay, St. Kitts and Nevis (USA)
    • Speech
    Mode-Level vs. Implementation-Level Physical Security in Symmetric Cryptography - A Practical Guide Through the Leakage-Resistance Jungle
    Bellizia, Davide[UCL] Bronchain, Olivier[UCL] Cassiers, Gaëtan[UCL] Grosso, Vincent Guo, Chun Momin, Charles[UCL] Pereira, Olivier[UCL] Peters, Thomas[UCL] Standaert, François-Xavier[UCL] (2020) Advances in Cryptology - CRYPTO 2020 — Santa Barbara (USA)
    • Book
    Towards Cross Assessment of Physical and Digital Accessibility
    Ponsard, Christophe Vanderdonckt, Jean[UCL] Snoeck, Vincent (2020)
    • Speech
    Securing Software Updates for Trains
    Galibus, Tatiana[UCL] (2019) International Conference on Critical Information Infrastructures Security, CRITIS 2019 — Linköping; Sweden
    • BookChapter
    Securely Solving Classical Network Flow Problems
    Aly, Abdelrahaman Van Vyve, Mathieu[UCL] (2015) Information Security and Cryptology - ICISC 2014 — [ISBN : 978-3-319-15942-3]
    • Book
    Cryptographic Hardware and Embedded Systems -- CHES 2010
    Mangard, Stefan Standaert, François-Xavier[UCL] (2010)
    • Speech
    Group Encryption: Non-Interactive Realization in the Standard Model
    Cathalo, Julien[UCL] Libert, Benoît[UCL] Yung, Moti (2009) Advances in Cryptology - Asiacrypt 2009 — Tokyo (Japon)
    • Speech
    Smart Card Research and Advanced Applications
    Prouff, Emmanuel (2011) 10th IFIP WG 8.8/11.2 International Conference (CARDIS 2011) — Leuven (Belgium)
    • Speech
    Efficient Removal of Random Delays from Embedded Software Implementations Using Hidden Markov Models
    Durvaux, François[UCL] Renauld, Mathieu[UCL] Standaert, François-Xavier[UCL] Van Oldeneel Tot Oldenzeel, Loïc[UCL] (2012) 11th International Conference CARDIS 2012 — Graz (Austria)
    • Speech
    Short Attribute-Based Signatures for Threshold Predicates
    Herranz, Javier Laguillaumie, Fabien Libert, Benoit[UCL] Ràfols, Carla (2012) RSA Conference 2012 - Cryptographers' Track (CT-RSA 2012) — San Francisco (USA)
    • Speech
    Short Group Signatures via Structure-Preserving Signatures: Standard Model Security from Simple Assumptions
    Libert, Benoît Peters, Thomas Yung, Moti (2015) 35th Annual Cryptology Conference - CRYPTO 2015 — Santa Barbara (USA)
    • Speech
    Analog VLSI synapse matrix with enhanced stochastic computations
    Verleysen, Michel[UCL] Jespers, Paul[UCL] (1991) International Workshop on Artificial Neural Networks — Granada (Spain)
    • Speech
    Efficient Completely Context-Hiding Quotable and Linearly Homomorphic Signatures
    Attrapadung, Nuttapong Libert, Benoît[UCL] Peters, Thomas[UCL] (2013) Public-Key Cryptography - PKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography — Nara (Japan)
    • BookChapter
    The Belgian Electronic Mathematical Machine (1951-1962). An Account.
    Courtois, Pierre-Jacques[UCL] (2011) Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday — [ISBN : 978-3-642-24541-1]
    • Speech
    Revisiting Location Privacy from a Side-Channel Analysis Viewpoint
    Massart, Clément[UCL] Standaert, François-Xavier[UCL] (2019) 11th International Conference on Cryptology in Africa - Progress in Cryptology (AFRICACRYPT 2019) — Rabat (Morroco)
    • Book
    Smart Card Research and Advanced Applications
    Grimaud, Gilles Standaert, François-Xavier[UCL] (2008)
    • Book
    Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach
    Bessiere, Christian De Raedt, Luc Kotthoff, Lars Nijssen, Siegfried[UCL] O'Sullivan, Barry Pedreschi, Dino (2016)

Pages