benadida (Ben Adida)

Name
Ben Adida
Email
Website/Blog
http://ben.adida.net
Company
Harvard
Member Since
Jul 22, 2008 (about 1 year)

Following 8 githubbers and watching 9 repositories view all →

Public Repositories (9)

  • scantegrity-audit

    Audit Code for the Scantegrity Voting System

    legend

    Last updated Thu Nov 05 21:25:51 -0800 2009

  • helios-single-election-server

    single-election Helios server

    legend

    Last updated Wed Nov 04 17:05:24 -0800 2009

  • auth-django-app

    Authentication Django Application

    legend

    Last updated Wed Nov 04 17:03:32 -0800 2009

  • helios-django-app

    Helios Django App for the Helios Server

    legend

    Last updated Tue Oct 20 22:01:53 -0700 2009

  • helios-booth

    the independent voting booth for Helios

    legend

    Last updated Sat Oct 17 10:53:14 -0700 2009

  • helios-verifier

    The independent verifier for Helios

    legend

    Last updated Thu Oct 15 15:49:12 -0700 2009

  • helios

    an open-source, open-audit, web-based voting system

    legend

    Last updated Mon Oct 05 21:34:06 -0700 2009

  • beamauth

    Using a Bookmark as a Second Authentication Factor

    legend

    Last updated Fri Apr 03 20:52:13 -0700 2009

  • uclvoting

    UCL's Helios Client Site

    legend

    Last updated Sun Jan 11 17:36:18 -0800 2009

Public Activity feed

benadida pushed to master at benadida/scantegrity-audit Thu Nov 05 21:25:51 -0800 2009
HEAD is c9aa495cf29a507e603a7d317ba62d2031e0eaaf
  • Ben Adida committed c9aa495c:
    fixed tallying of IRV to be consistent with allowing skipping of one rank
benadida pushed to master at benadida/scantegrity-audit Thu Nov 05 11:45:36 -0800 2009
HEAD is 6911fca85f660059aa3c5fed3f4cab4c97a33245
  • Ben Adida committed 6911fca8:
    added provisional counting
benadida pushed to master at benadida/helios-single-election-server Wed Nov 04 17:05:25 -0800 2009
HEAD is 451f375bbceb8ec8bff5c6cf3bc27b8bcd6a327f

3 commits »

benadida pushed to master at benadida/helios-single-election-server Wed Nov 04 17:04:53 -0800 2009
HEAD is 864657c98a3166fa3b86645b97ea3d95df0a030e
benadida pushed to master at benadida/auth-django-app Wed Nov 04 17:03:32 -0800 2009
HEAD is 08e5f25d1cbb037c9e5511c93f2b0cb02edc01ab

2 commits »

benadida open sourced helios-single-election-server Wed Nov 04 16:57:51 -0800 2009
single-election Helios server
benadida open sourced auth-django-app Wed Nov 04 16:56:14 -0800 2009
Authentication Django Application
benadida pushed to master at benadida/scantegrity-audit Wed Nov 04 16:07:14 -0800 2009
HEAD is 2794241b78f0382d786fd1645109c2c6ccae583c
  • Ben Adida committed 2794241b:
    updated README
benadida pushed to master at benadida/scantegrity-audit Wed Nov 04 16:03:45 -0800 2009
HEAD is 36413f71ce16d9fa00907b8e9ecaea53ec0d9bf1
  • Ben Adida committed 36413f71:
    fixed tallying for single-question
benadida pushed to master at benadida/scantegrity-audit Wed Nov 04 15:24:10 -0800 2009
HEAD is 20c68ba41ebf9d718dec86c2c8c4b4324e7bfd6f

2 commits »

benadida pushed to master at benadida/scantegrity-audit Mon Nov 02 22:25:48 -0800 2009
HEAD is 1d8207bce8c03dae927abe9a41bcea00e5caad5b
  • Ben Adida committed 1d8207bc:
    added to README, and checked presence of files
benadida pushed to master at benadida/scantegrity-audit Mon Nov 02 17:29:42 -0800 2009
HEAD is 6d82eba94f0b1068f807145fc82900efc93a9538
  • Ben Adida committed 6d82eba9:
    tweaked constant base64 setup, fixed random generation, cleaned up a couple of things
benadida pushed to master at benadida/scantegrity-audit Sun Nov 01 12:49:39 -0800 2009
HEAD is 271648f20a63220012eec7439a1270c97f2e3a5d
  • Ben Adida committed 271648f2:
    updated spoiled ballots verification to produce list of confirmation codes
benadida pushed to master at benadida/scantegrity-audit Sun Nov 01 12:46:13 -0800 2009
HEAD is cc9520b8471f63d4d5b7fc3c579c5390e18d0e97
  • Ben Adida committed cc9520b8:
    updated meeting3 to report codes
benadida pushed to master at benadida/scantegrity-audit Sun Nov 01 12:22:25 -0800 2009
HEAD is ec432a5b1528f2b9ef088e845eeb09926f0e5c35
  • Ben Adida committed ec432a5b:
    fixed the seeding for the challenge generation
benadida pushed to master at benadida/scantegrity-audit Sun Nov 01 11:22:20 -0800 2009
HEAD is 60bd40be65bf8950dda55103120dde5b56d36c83
benadida pushed to master at benadida/scantegrity-audit Sun Nov 01 11:04:56 -0800 2009
HEAD is b65c46a93956934ce0fe500b4d51b484cbec428d
benadida pushed to master at benadida/scantegrity-audit Sat Oct 31 22:51:42 -0700 2009
HEAD is 52807bab16c84f545a361b76ec42318bc2e4bfec
  • benadida committed 52807bab:
    added permutation verification in meeting4 and tweaked others
benadida pushed to master at benadida/scantegrity-audit Sat Oct 31 15:31:25 -0700 2009
HEAD is 7f6a6258c692952841312e9dd523e4da94953a15
benadida pushed to master at benadida/scantegrity-audit Sat Oct 31 14:31:33 -0700 2009
HEAD is 709317f775993b4c1809d48d26d12045198909bf
  • benadida committed 709317f7:
    added tallying types for multiple answers and single answer, should be working well
benadida pushed to master at benadida/scantegrity-audit Sat Oct 31 13:45:41 -0700 2009
HEAD is 526f6c38611fce8d089f4cd2b57a263b91904793
  • benadida committed 526f6c38:
    modularized loading of election params, first pass at IRV tallying
benadida pushed to master at benadida/scantegrity-audit Sat Oct 31 10:59:42 -0700 2009
HEAD is e4b1fbd4067ec0093fe2d683fa952cca12f832d1
benadida pushed to master at benadida/scantegrity-audit Fri Oct 30 22:25:16 -0700 2009
HEAD is 52d8fbe8ea38be9511e402a62354aa68f7dd4924
  • Ben Adida committed 52d8fbe8:
    began the tally code
benadida pushed to master at benadida/scantegrity-audit Fri Oct 30 17:46:25 -0700 2009
HEAD is f070454f9d7cb0c09c4914013f57fa70f46791be
  • benadida committed f070454f:
    added random challenge verification to meeting4, though relies on the XML rows being ordered by ID, which they seem to be...
benadida pushed to master at benadida/scantegrity-audit Thu Oct 29 22:52:11 -0700 2009
HEAD is fbfd82932e3e4a3f056b88d8ce7648f3c9dd91e7
  • benadida committed fbfd8293:
    modularized the verification of P and D table openings, used this for spoiled ballot verification
benadida pushed to master at benadida/scantegrity-audit Thu Oct 29 22:22:36 -0700 2009
HEAD is e90a8e0fa0439bc79abbe65c8268f4654b661ebb
  • benadida committed e90a8e0f:
    made each meeting more modular and finished the contested ballot check
benadida pushed to master at benadida/scantegrity-audit Thu Oct 29 20:38:55 -0700 2009
HEAD is be621e56ffc3baf4a838d0b43b19a149e37a371f
benadida pushed to master at benadida/scantegrity-audit Thu Oct 29 17:42:13 -0700 2009
HEAD is 32b2ed1c31d6b898f5efa589e0e77a395df2c6dd
benadida pushed to master at benadida/scantegrity-audit Sun Oct 25 19:09:16 -0700 2009
HEAD is e69c46c03e28137f63445ee52965d14b3c141f45
benadida pushed to master at benadida/scantegrity-audit Sun Oct 25 13:32:48 -0700 2009
HEAD is 2c3acc22144554eba377ec1651980b114e569f0f
  • benadida committed 2c3acc22:
    started refactoring to reduce codesize, meeting1 and meeting2 so far
benadida pushed to master at benadida/scantegrity-audit Sun Oct 25 13:04:18 -0700 2009
HEAD is cf07c49d91bb63eaed916e242e618ad06c7cf895
benadida pushed to master at benadida/scantegrity-audit Sun Oct 25 13:02:28 -0700 2009
HEAD is 6f8e1ec10cb08fcf76ffaee7af2f7c94d991a4b4
  • benadida committed 6f8e1ec1:
    finished meeting3 verification, without R table tallying
benadida pushed to master at benadida/scantegrity-audit Sat Oct 24 16:34:21 -0700 2009
HEAD is f136addea04611248a0e17e7caf2ee73ef4f6341
benadida pushed to master at benadida/helios-django-app Tue Oct 20 22:01:54 -0700 2009
HEAD is 90e01354798c688b8738f4dcd6c4f387450560c6
  • benadida committed 90e01354:
    added ability to close an election with encrypted_tally
benadida pushed to master at benadida/helios-django-app Mon Oct 19 11:37:39 -0700 2009
HEAD is 1b6712802289e8e37a21c2d9ae91b5d503d25dc4