Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Overige bijdrage
2019

Decisional second-preimage resistance: when does SPR imply PRE?

Bernstein, D. J. & Hülsing, A. T., 2019, 36 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Hash functions

Quantum Alice and Silent Bob: qubit-based quantum key recycling with almost no classical communication

Leermakers, D. & Škorić, B., 2019, 13 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

recycling
communication
messages

Tighter proofs of CCA security in the quantum random oracle model

Bindel, N., Hamburg, M., Hülsing, A. & Persichetti, E., 2019, 29 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Random Oracle Model
Rejection
Lemma
Transform
Public Key Encryption
2018

\mathcal{O}(k)-robust spanners in one dimension

Buchin, K. A., Hulshof, T. & Olah, D., 2018, 6 blz. Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

A deterministic polynomial kernel for Odd Cycle Transversal and Vertex Multiway Cut in planar graphs

Jansen, B. M. P., Pilipczuk, M. & van Leeuwen, E. J., 2018, Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Multiway Cut
Odd Cycle
Planar graph
Steiner Tree
kernel

An ETH-Tight Exact Algorithm for Euclidean TSP

de Berg, M. T., Bodlaender, H. L., Kisfaludi-Bak, S. & Kolay, S., 2018, Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

A Spanner for the Day After

Buchin, K. A., Har-Peled, S. & Olah, D., 2018, Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Best-case and Worst-case Sparsifiability of Boolean CSPs

Chen, H., Jansen, B. M. P. & Pieterse, A., 2018, Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Constraint Satisfaction Problem
Assignment
NP-complete problem
Ring
Linear algebra

Computing the Chromatic Number Using Graph Decompositions via Matrix Rank

Jansen, B. M. P. & Nederlof, J., 2018, 29 blz. Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Coloring
Decomposition
Parameterization
Separators
Combinatorial optimization

Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth

van Geffen, B. A. M., Jansen, B. M. P., de Kroon, A. A. W. M. & Morel, R., 2018, Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Treewidth
Planar graph
Dynamic Programming
Lower bound
Planarity

Non-Monochromatic and Conflict-Free Coloring on Tree Spaces and Planar Network Spaces

Aronov, B., de Berg, M. T., Markovic, A. & Woeginger, G. J., 7 mei 2018, Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Colouring
Interval
Conflict
Color
Generalization

Polynomial Kernels for Hitting Forbidden Minors under Structural Parameterizations

Jansen, B. M. P. & Pieterse, A., 2018, Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Forbidden Minor
Parameterization
Deletion
Modulator
kernel

Progressive Simplification of Polygonal Curves

Buchin, K. A., Konzack, M. P. & Reddingius, W. W. T., 2018, 20 blz. Cornell university.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Trajectories
Data storage equipment

XMSS: extended hash-based signatures. RFC 8391

Hülsing, A. T., Butin, D., Gazdag, S-L., Rijneveld, J. & Mohaisen, A., 2018

Onderzoeksoutput: Andere bijdrageOverige bijdrageProfessioneel

Open Access
2017
39 Downloads (Pure)

A dual shared stack for FSLM in Erika Enterprise

Balasubramanian, S. M. N., Afshar, S., Gai, P., Behnam, M. & Bril, R. J., 2017, 2 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Bestand
Industry

Classic McEliece

Bernstein, D. J., Chou, T., Lange, T., von Maurich, I., Misoczki, R., Niederhagen, R., Persichetti, E., Peters, C., Schwabe, P., Sendrier, N., Szefer, J. & Wang, W., 2017

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Open Access
Hash functions
ROM
Quantum computers
Binary codes
Random errors

MQDSS - Submission to the NIST post-quantum cryptography project

Chen, M-S., Hülsing, A., Rijneveld, J., Samardjiska, S. & Schwabe, P., 2017

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Open Access

NTRU-HRSS-KEM - Submission to the NIST post-quantum cryptography project

Hülsing, A., Rijneveld, J., Schanck, J. M. & Schwabe, P., 2017

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Open Access

NTRU Prime

Bernstein, D. J., Chuengsatiansup, C., Lange, T. & Vredendaal, C. V., 2017

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Cryptography

SPHINCS+ - Submission to the NIST post-quantum cryptography project

Bernstein, D. J., Dobraunig, C., Eichlseder, M., Fluhrer, S., Gazdag, S-L., Hülsing, A., Kampanakis, P., Kölbl, S., Lange, T., Lauridsen, M. M., Mendel, F., Niederhagen, R., Rechberger, C., Rijneveld, J. & Schwabe, P., 2017

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Open Access
15 Downloads (Pure)

To BLISS-B or not to be - Attacking strongSwan's Implementation of Post-Quantum Signatures

Pessl, P., Bruinderink, L. G. & Yarom, Y., 2017, 13 blz. IACR.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Open Access
Bestand
2016
2 Downloads (Pure)

A trivial debiasing scheme for helper data systems

Skoric, B., 2016, 10 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

data systems
entropy
condensing
coding

Authenticated communication from quantum readout of PUFs

Skoric, B., Pinkse, P. W. H. & Mosk, A. P., 2016, 6 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

BPI Challenge 2016: Clicks Logged In

Dees, M. & Dongen, B. F. V., 2016, UWV.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

BPI Challenge 2016: Clicks NOT Logged In

Dees, M. & Dongen, B. F. V., 2016, UWV.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

BPI Challenge 2016: Complaints

Dees, M. & Dongen, B. F. V., 2016, UWV.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

BPI Challenge 2016: Questions

Dees, M. & Dongen, B. F. V., 2016, UWV.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

BPI Challenge 2016: Werkmap Messages

Dees, M. & Dongen, B. F. V., 2016, UWV.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

3 Downloads (Pure)

Fundamentals of duct acoustics: notes of course "Progress in Simulation, Control and Reduction of Ventilation Noise", November 16-18, 2015.

Rienstra, S. W., 2016, 52 blz. Brussel : Von Karman Institute for Fluid Dynamics.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

111 Downloads (Pure)

Interactively exploring logs and mining models with clustering, filtering, and relabeling

Lu, X., Fahland, D. & van der Aalst, W. M. P., 22 jul 2016, 5 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Open Access
Bestand
Labels

Optimized quantization in zero leakage helper data systems

Stanko, T., Fitria Nur Andini, F. & Skoric, B., 2016

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Error correction
Redundancy

Quantum key recycling with eight-state encoding: (the quantum one time pad is more interesting than we thought)

Skoric, B. & de Vries, M., 2016, 26 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

2008

Membership editorial board - Quality and reliability engineering international

Lu, Y. & Xie, M., 2008, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

2006

Evaluation of white matter fiber clustering methods for diffusion tensor imaging

Vilanova, A., Moberts, B., Wijk, J. J. V., Op denBuijs, J., Roos, F. G. & Pul, C. V., 2006, 1 blz.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAcademic

Diffusion tensor imaging
Fibers
Clustering algorithms
Seed
Tensors
24 Downloads (Pure)

Wiskunde-dictaten 1956-1982

Graaf, de, J., 2006, Eindhoven : Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

2001

On semiflocks, eggs and ovoids of Q(4,q)

Lavrauw, M., 2001, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

On two-intersection sets

Blokhuis, A. & Lavrauw, M., 2001, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

There are only finitely many distance-regular graphs of valency five, six, or seven

Brouwer, A. E. & Koolen, J. H., 2001, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

2000

Calculation is the Name of the Game

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Cryptographic Evaluation of the Voting Systems Choose, I-Vote and AOZ

Schoenmakers, L. A. M., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Formality Works

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Functional-Program Inversion, with an application to Parser Construction

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Mathematical Induction, Well-Foundedness, and the Axiom of Choice

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Operator Folding and its Applications1

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

OSS Interconncetion Gateways: validation and testing stategies, volume 6: security

Vink, de, E. P., 2000, Heidelberg : Heidelberg.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Programming with Infinite Lists: an example

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Security Evaluation of the Gordian Algorithm

Schoenmakers, L. A. M. & Roelse, P. L. A., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Take and Drop in a Nutshell

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

The Tail Recursion Theorem for Lists

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

1999

AvG180 A little process algebra, for my record

Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven.

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput