Profiler

Michael Shamos

Distinguish Career Professor, Carnegie Mellon University

Verifisert e-postadresse på cs.cmu.edu

Sitert av 19796

computational geometry electronic voting experimental mathematics

Mark D. Ryan

Professor of Computer Security, University of Birmingham

Verifisert e-postadresse på bham.ac.uk

Sitert av 11320

Computer Security Trusted Computing Electronic Voting Cryptographic Protocols Formal Methods

Steve Schneider

Director of Computer Science Research Centre; Professor of Computing, University of …

Verifisert e-postadresse på surrey.ac.uk

Sitert av 10606

Security Privacy and Trust Electronic Voting Protocol modelling and verification Formal Methods.

Véronique Cortier

CNRS, LORIA

Verifisert e-postadresse på loria.fr

Sitert av 5961

Security Formal Methods electronic voting

Bernhard Beckert

Professor of Informatics, Karlsruhe Institute of Technology

Verifisert e-postadresse på kit.edu

Sitert av 5471

Formal Methods Program Verification Security Computational Social Choice Electronic Voting

Juan E. Gilbert

University of Florida

Verifisert e-postadresse på ufl.edu

Sitert av 4397

Computing for Social Good Voting Systems Electronic Voting Broadening Participation in Computing Human-Centered Computing

Diego F. Aranha

Associate Professor in Computer Science, Aarhus University

Verifisert e-postadresse på cs.au.dk

Sitert av 4057

Cryptographic Engineering Computer Security Electronic Voting

Collin Lynch

North Carolina State University

Verifisert e-postadresse på ncsu.edu

Sitert av 3416

Artificial Intelligence AI and Law AI and Education Electronic Voting Educational Data Mining

Rajeev Gore

Faculty of Information Technology, Monash University, Australia

Verifisert e-postadresse på monash.edu

Sitert av 3309

Logic Automated Reasoning Modal Logic Tableaux Electronic Voting

Vanessa Teague

Thinking Cybersecurity and The Australian National University

Verifisert e-postadresse på anu.edu.au

Sitert av 3283

electronic voting end-to-end verifiable voting cryptography security privacy

1 - 10