First Page | Document Content | |
---|---|---|
![]() Date: 2015-04-22 04:39:27Center for Advanced Security Research Darmstadt Technische Universität Darmstadt Crime prevention National security Darmstadt Cloud computing Fraunhofer Society German Academy of Science and Engineering Vulnerability Security Computing Computer security | Add to Reading List |
![]() | -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 DarmstadtDocID: 1xVV9 - View Document |
![]() | Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.deDocID: 1xVjA - View Document |
![]() | SPRING Proceedings - Darmstadt, GermanyDocID: 1xU3s - View Document |
![]() | PDF DocumentDocID: 1xSUp - View Document |