Michael Shamos

Michael Shamos

Distinguish Career Professor, Carnegie Mellon University
cs.cmu.edu의 이메일 확인됨
19575회 인용
computational geometry electronic voting experimental mathematics
Mark D. Ryan

Mark D. Ryan

Professor of Computer Security, University of Birmingham
bham.ac.uk의 이메일 확인됨
11094회 인용
Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods
Steve Schneider

Steve Schneider

Director of Computer Science Research Centre; Professor of Computing, University of …
surrey.ac.uk의 이메일 확인됨
10365회 인용
Security Privacy and Trust Electronic Voting Protocol modelling and verification Formal Methods.
Véronique Cortier

Véronique Cortier

CNRS, LORIA
loria.fr의 이메일 확인됨
5924회 인용
Security Formal Methods electronic voting
Bernhard Beckert

Bernhard Beckert

Professor of Informatics, Karlsruhe Institute of Technology
kit.edu의 이메일 확인됨
5365회 인용
Formal Methods Program Verification Security Computational Social Choice Electronic Voting
Juan E. Gilbert

Juan E. Gilbert

University of Florida
ufl.edu의 이메일 확인됨
4203회 인용
Computing for Social Good Voting Systems Electronic Voting Broadening Participation in Computing Human-Centered Computing
Diego F. Aranha

Diego F. Aranha

Associate Professor in Computer Science, Aarhus University
cs.au.dk의 이메일 확인됨
3869회 인용
Cryptographic Engineering Computer Security Electronic Voting
Collin Lynch

Collin Lynch

North Carolina State University
ncsu.edu의 이메일 확인됨
3298회 인용
Artificial Intelligence AI and Law AI and Education Electronic Voting Educational Data Mining
Rajeev Gore

Rajeev Gore

Faculty of Information Technology, Monash University, Australia
monash.edu의 이메일 확인됨
3261회 인용
Logic Automated Reasoning Modal Logic Tableaux Electronic Voting
Vanessa Teague

Vanessa Teague

Thinking Cybersecurity and The Australian National University
anu.edu.au의 이메일 확인됨
3216회 인용
electronic voting end-to-end verifiable voting cryptography security privacy
1 - 10