![Java platform / Formal methods / Logic in computer science / Formal verification / Cryptographic primitive / KeY / Cryptography / Java Card / Cryptographic protocol / Computing / Theoretical computer science / Formal sciences Java platform / Formal methods / Logic in computer science / Formal verification / Cryptographic primitive / KeY / Cryptography / Java Card / Cryptographic protocol / Computing / Theoretical computer science / Formal sciences](https://www.pdfsearch.io/img/86a855895d7742d31f3096cb60246898.jpg)
| Document Date: 2015-05-11 16:42:19 Open Document File Size: 58,73 KBShare Result on Facebook
City Berlin / Cannes / / Company Verified Software / Joana / / Country France / / / EntertainmentAwardEvent Cannes / / Facility Karlsruhe Institute of Technology / University of Trier / / IndustryTerm automatic tool / interactive verification tools / free software / automated tools / e-voting / verification tools / program analysis tools / / Organization Technische Universität Darmstadt / Karlsruher Institut für Technologie / Institute of Technology / University of Trier / IEEE Computer Society / / Person Martin Mohr / Bernhard Beckert / M. Herda / V / Simon Greiner / Ralf Küsters / Enrico Scapin / Tomasz Truderung / / Product KeY / / ProgrammingLanguage Java / Ruby / / PublishedMedium Lecture Notes in Computer Science / / Technology encryption / cryptography / flow control / Java / Simulation / / URL http /
SocialTag |