Projecten per jaar
Organisatieprofiel
Introductie / missie
Discrete Mathematics is concerned with finite structures and their properties. It is an exciting growth area in the modern information age. Just as continuous mathematics led to major scientific developments in the 19th and 20th century, Discrete Mathematics with its various subfields such as algebra, combinatorics, computational algebra, coding theory, cryptography, discrete optimization, information theory, geometry, graph theory, machine learning, number theory, etc., underlies much of the developments in modern fields such as computer technology, communication networks and e-commerce.
Highlighted phrase
The cluster Discrete Mathematics is interested in all mathematical problems of a discrete nature
Over de organisatie
Applied and Provable Security
Coding Theory and Cryptology
Discrete Algebra and Geometry
Mathematical Communication Theory
form the DM cluster
Cryptology is the mathematical theory of protecting information against unauthorized access (confidentiality), ensuring that a message has not been altered by a third party (integrity) and really originated from the person who is claimed to be the sender (authenticity). Work in the groups in DM covers the design of systerms as well as building larger constructions and protocols, including multi-party computation. Moreover, different groups work on analyzing the security of cryptographic schemes using cryptanalysis techniques (analyzing the underlying mathematical problems) and security proofs (relating the security of schemes and protocols to the security of used building blocks). To ensure correctness of security proofs, groups also work on applying tools from formal verification to verify proofs.
Mathematical communication theory enables reliably communicating data over a possibly noisy channel, efficiently storing and retrieving them, and guaranteeing their integrity. Work in the groups in DM covers coding theory, optimization for data storage and recovery, network coding, quantum error correction, and links with cryptography in code-based cryptography, an area of post-quantum cryptography.
The third main area in DM covers discrete algebra and geometry including ,enumerative and algebraic combinatorics. Phenomena throughout mathematics and the natural sciences have discrete algebraic aspects, often along with analytical counterparts. While the latter are typically modelled using real numbers, differential equations, and numerical computations, describing the discrete-algebraic aspects involves objects like nite elds, graphs, polynomials, groups, algebras, and symbolic computations. The Discrete Algebra and Geometry (DAG) group at the TU/e develops the mathematics needed for such a description.
Publications of the DM cluster can be accessed by clicking on All publications
Vingerafdruk
Netwerk
Profielen
projecten
- 1 Actief
-
Computing excluded minors for classes of matroids representable over partial fields
Brettell, N. & Pendavingh, R., 25 feb. 2023Onderzoeksoutput: Boek/rapport › Rapport › Academic
Bestand -
Failing Gracefully: Decryption Failures and the Fujisaki-Okamoto Transform
Hövelmanns, K., Hülsing, A. & Majenz, C., 2023, Advances in Cryptology -- ASIACRYPT 2022. Agrawal, S. & Lin, D. (redactie). Cham: Springer Nature, blz. 414-443 30 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.
Barbosa, M., Barthe, G., Doczkal, C., Don, J., Fehr, S., Grégoire, B., Huang, Y-H., Hülsing, A., Lee, Y. & Wu, X., 2023, In: IACR Cryptol. ePrint Arch.. 2023Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Prijzen
-
Algorithms for coping with uncertainty and intractability
Bansal, N. (Ontvanger), 2013
Prijs: ERC › Consolidator › Wetenschappelijk
-
Ambizione Research Grant
Ravagnani, Alberto (Ontvanger), 2019
Prijs: Anders › Overig › Wetenschappelijk
-
A solid theory for post-quantum cryptography
Hülsing, Andreas T. (Ontvanger), 2019
Prijs: NWO › Vidi › Wetenschappelijk
Activiteiten
-
Mixed-Integer Programming Techniques for the Connected Max-k-Cut Problem
Christopher Hojny (Spreker)
4 jun. 2020Activiteit: Types gesprekken of presentaties › Genodigd spreker › Wetenschappelijk
-
Multi-league scheduling; how to schedule thousands of matches
Roel Lambers (Spreker)
13 jan. 2020Activiteit: Types gesprekken of presentaties › Aangemelde presentatie › Wetenschappelijk
-
Symretopes and Symresacks: A Framework for Deriving Generic and Problem Specific Symmetry Handling Inequalities
Christopher Hojny (Spreker)
9 dec. 2019Activiteit: Types gesprekken of presentaties › Genodigd spreker › Wetenschappelijk
Knipsels
-
Asymptotics of degrees and ED degrees of Segre products
25/08/21
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Data anonymization in the context of the Israel-Pfizer Agreement
Tomer Ashur
24/01/21 → 25/01/21
2 Mediabijdrages
Pers / media: Vakinhoudelijk commentaar
-
Fast, Furious and Insecure: Passive Keyless Entry and Start in Modern Supercars
Tomer Ashur
10/09/18 → 27/08/19
2 items van Media-aandacht
Pers / media: Onderzoek
Scripties/Masterproeven
-
A characterization of the special linear and unitary Lie algebra via its extremal geometry
Auteur: Oostendorp, M. G. C., 31 aug. 2018Begeleider: Cuypers, F. G. M. T. (Afstudeerdocent 1)
Scriptie/Masterproef: Master
Bestand -
Achieving differential privacy in secure multiparty computation
Auteur: Thissen, K. K. A., 15 mei 2019Begeleider: Schoenmakers, B. (Afstudeerdocent 1), Koster, R. P. (Externe persoon) (Externe coach) & van Liesdonk, P. P. (Externe coach)
Scriptie/Masterproef: Master
Bestand -
A framework for generating and evaluating error correcting memory controller designs
Auteur: Visser, M. S., 25 feb. 2022Begeleider: Jordans, R. (Afstudeerdocent 1), Koedam, M. L. P. J. (Afstudeerdocent 2), van Berkel, C. H. (Afstudeerdocent 2) & Ravagnani, A. (Afstudeerdocent 2)
Scriptie/Masterproef: Master
Bestand