Department of Mathematics and Computer Science

Research Output

Filter
Other contribution
2020

Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency: Proceedings of the 14th International Workshop on the Algorithmic Foundations of Robotics (WAFR 20)

Afshani, P., de Berg, M. T., Buchin, K. A., Gao, J., Löffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Yang, H-T., 2020, 25 p. Cornell university.

Research output: Other contributionAcademic

TC-CIM: Empowering Tensor Comprehensions for Computing-In-Memory

Drebes, A., Chelini, L., Zinenko, O., Cohen, A., Corporaal, H., Grosser, T., Vadivel, K. & Vasilache, N., 1 Jan 2020

Research output: Other contributionAcademic

2019

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

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

Research output: Other contributionAcademic

2 Downloads (Pure)

Tighter proofs of CCA security in the quantum random oracle model

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

Research output: Other contributionAcademic

2018

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

Buchin, K. A., Hulshof, W. J. T. T. & Olah, D., 2018, 6 p. Cornell university.

Research output: Other contributionAcademic

Open Access
File
3 Downloads (Pure)

A spanner for the day after

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

Research output: Other contributionAcademic

Open Access
File
4 Downloads (Pure)

XMSS: extended hash-based signatures. RFC 8391

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

Research output: Other contributionProfessional

Open Access
2017

A dual shared stack for FSLM in Erika Enterprise

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

Research output: Other contributionAcademic

File
47 Downloads (Pure)

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

Research output: Other contributionAcademic

Open Access

MQDSS - Submission to the NIST post-quantum cryptography project

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

Research output: Other contributionAcademic

Open Access

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

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

Research output: Other contributionAcademic

Open Access

NTRU Prime

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

Research output: Other contributionAcademic

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

Research output: Other contributionAcademic

Open Access

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

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

Research output: Other contributionAcademic

Open Access
File
19 Downloads (Pure)
2016

A trivial debiasing scheme for helper data systems

Skoric, B., 2016, 10 p.

Research output: Other contributionOther research output

2 Downloads (Pure)

Authenticated communication from quantum readout of PUFs

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

Research output: Other contributionOther research output

BPI Challenge 2016: Clicks Logged In

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

Research output: Other contributionOther research output

BPI Challenge 2016: Clicks NOT Logged In

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

Research output: Other contributionOther research output

BPI Challenge 2016: Complaints

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

Research output: Other contributionOther research output

BPI Challenge 2016: Questions

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

Research output: Other contributionOther research output

BPI Challenge 2016: Werkmap Messages

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

Research output: Other contributionOther research output

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 p. Brussel : Von Karman Institute for Fluid Dynamics.

Research output: Other contributionOther research output

3 Downloads (Pure)
Open Access
File
117 Downloads (Pure)

Optimized quantization in zero leakage helper data systems

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

Research output: Other contributionOther research output

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 p.

Research output: Other contributionOther research output

2008

Membership editorial board - Quality and reliability engineering international

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

Research output: Other contributionOther research output

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 p.

Research output: Other contributionAcademic

Wiskunde-dictaten 1956-1982

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

Research output: Other contributionOther research output

24 Downloads (Pure)
2005

Fibertracking at birth and 3 months after perinatal hypoxic-ischemia

Op den Buijs, J., van Pul, C., Vilanova, A. & Roos, F. G., 2005

Research output: Other contributionAcademic

High resolution diffusion tensor imaging of adult and neonatal mouse hearts

Strijkers, G. J., Seevinck, P., Heemskerk, A. M., Vilanova, A., Blankesteijn, W. M., Heijman, E. & Nicolay, K., 2005, 1 p.

Research output: Other contributionAcademic

Mouse skeletal muscle architecture as measured using three dimensional diffusion tensor imaging

Heemskerk, A. M., Strijkers, G. J., Vilanova, A., Drost, M. R. & Nicolay, K., 2005, 1 p.

Research output: Other contributionAcademic

2001

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

Lavrauw, M., 2001, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

On two-intersection sets

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

Research output: Other contributionOther research output

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

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

Research output: Other contributionOther research output

2000

Calculation is the Name of the Game

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

Research output: Other contributionOther research output

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

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

Research output: Other contributionOther research output

Formality Works

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

Research output: Other contributionOther research output

Functional-Program Inversion, with an application to Parser Construction

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

Research output: Other contributionOther research output

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

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

Research output: Other contributionOther research output

Operator Folding and its Applications1

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

Research output: Other contributionOther research output

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

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

Research output: Other contributionOther research output

Programming with Infinite Lists: an example

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

Research output: Other contributionOther research output

Security Evaluation of the Gordian Algorithm

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

Research output: Other contributionOther research output

Take and Drop in a Nutshell

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

Research output: Other contributionOther research output

The Tail Recursion Theorem for Lists

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

Research output: Other contributionOther research output

1999

AvG180 A little process algebra, for my record

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

Research output: Other contributionOther research output

AvG181 Specificatie-oefeningen

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

Research output: Other contributionOther research output

Density and hazard estimation in censored regression models

Van Keilegom, I. & Veraverbeke, N., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Hazard rate estimation in nonparametric regression with censored data

Van Keilegom, I. & Veraverbeke, N., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output