Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven

Source URL: www.maria-a-schett.net

• Mathematics
• Graph theory
• Discrete mathematics
• Mathematical logic
• Wellfoundedness
• Logic in computer science
• Rewriting
• Kruskal's tree theorem
• Graph

Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Formal methods
• Logic in computer science
• Bisimulation
• Applied mathematics
• Mathematics
• Scheduling
• Transition system
• -calculus

Post-quantum crypto Summary and recommendations Tanja Lange Technische Universiteit Eindhoven 28 September 2018

Source URL: nis-summer-school.enisa.europa.eu

• Cryptography
• Post-quantum cryptography
• Quantum cryptography
• Emerging technologies
• Quantum computing
• Key size
• Elliptic-curve cryptography
• Public-key cryptography
• NTRU
• RSA

PDF Document

Source URL: www.haarmoderob-kapper-eindhoven.nl

- < maand > + klik voor langjarig Het weer in Eindhoven November 2017 maandag

Source URL: www.logboekweer.nl

Information about payment invoices to Technische Universteit Eindhoven Name: Technische Universiteit Eindhoven Department of Mathematics & Computer Science

Source URL: 2017.pqcrypto.org

Edwards Curves and the ECM Factorisation Method Peter Birkner Eindhoven University of Technology The 12th Workshop on Elliptic Curve Cryptography

Source URL: www.pbirkner.fastmail.fm

- < maand > + klik voor langjarig Het weer in Eindhoven Juni 2017 maandag

Source URL: www.logboekweer.nl

(In-)secure messaging with SCimp Sebastian R. Verschoor and Tanja Lange (with many slides and pictures by Sebastian) University of Waterloo / Eindhoven University of Technology CryptoAction Symposium 2017

Source URL: hyperelliptic.org

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculty of Mathematics and Computer Science Practice Exam Cryptology I, Friday 14 January 2011 Name

Source URL: www.hyperelliptic.org