-Invertible Cycles for Multivariate Quadratic (MQ) Public Key Cryptography Jintai Ding1, , Christopher Wolf2 , and Bo-Yin Yang3, 1 University of Cincinnati and Technische Universität Darmstadt

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Finite fields
• Post-quantum cryptography
• Hidden Field Equations
• Unbalanced Oil and Vinegar
• Trapdoor function
• XTR
• QUAD
• Mutation
• Digital signature

Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Computing
• Model checking
• Specification language
• Computer programming
• Correctness
• Formal methods
• Cognitive science

SPRING Proceedings - Darmstadt, Germany

Source URL: www.gi-fg-sidar.de

• Computer network security
• Cyberwarfare
• Computing
• Cybercrime
• Multi-agent systems
• Spamming
• Botnet
• Intrusion detection system
• Anomaly detection
• Computer security
• Denial-of-service attack
• Fast flux

PDF Document

Source URL: www.ese.tu-darmstadt.de

PDF Document

Source URL: www.ulb.tu-darmstadt.de

PDF Document

Source URL: www.spz.tu-darmstadt.de

PDF Document

Source URL: www.aviation.tu-darmstadt.de

PDF Document

Source URL: www.qclam.ikp.tu-darmstadt.de

PDF Document

Source URL: www.wib.tu-darmstadt.de