Back to Results
First PageMeta Content
Java platform / Formal methods / Logic in computer science / Formal verification / Cryptographic primitive / KeY / Cryptography / Java Card / Cryptographic protocol / Computing / Theoretical computer science / Formal sciences


Poster: Security in E-Voting Daniel Bruns† , Huy Quoc Do‡ , Simon Greiner† , Mihai Herda† , Martin Mohr† , Enrico Scapin∗ , Tomasz Truderung∗ , Bernhard Beckert† , Ralf Küsters∗ , Heiko Mantel‡ and R
Add to Reading List

Document Date: 2015-05-11 16:42:19

Open Document

File Size: 58,73 KB

Share 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