Follow
Ben Adida
Ben Adida
VotingWorks
Verified email at adida.net - Homepage
Title
Cited by
Cited by
Year
Helios: Web-based Open-Audit Voting.
B Adida
USENIX security symposium 17, 335-348, 2008
10402008
Electing a university president using open-audit voting: Analysis of real-world use of Helios
B Adida, O De Marneffe, O Pereira, JJ Quisquater
EVT/WOTE 9 (10), 2009
3192009
Scratch & vote: self-contained paper-based cryptographic voting
B Adida, RL Rivest
Proceedings of the 5th ACM workshop on Privacy in electronic society, 29-40, 2006
1992006
Advances in cryptographic voting systems
B Adida
Caltech/MIT Voting Technology Project, 2006
1962006
The SMART Platform: early experience enabling substitutable applications for electronic health records
KD Mandl, JC Mandel, SN Murphy, EV Bernstam, RL Ramoni, DA Kreda, ...
Journal of the American Medical Informatics Association 19 (4), 597-603, 2012
1772012
The SMART Platform: early experience enabling substitutable applications for electronic health records
KD Mandl, JC Mandel, SN Murphy, EV Bernstam, RL Ramoni, DA Kreda, ...
Journal of the American Medical Informatics Association 19 (4), 597-603, 2012
1772012
Can internet-based applications be engineered?
RS Pressman, T Lewis, B Adida, E Ullman, T DeMarco, T Gilb, B Gorda, ...
IEEE Software 15 (5), 104, 1998
1501998
RDFa in XHTML: Syntax and processing
B Adida, M Birbeck, S McCarron, S Pemberton
Recommendation, W3C 7 (41), 14, 2008
1462008
ccREL: The creative commons rights expression language
H Abelson, B Adida, M Linksvayer, N Yergler
Technical report, Creative Commons, 2008
1122008
How to shuffle in public
B Adida, D Wikström
Theory of Cryptography: 4th Theory of Cryptography Conference, TCC 2007 …, 2007
1102007
RDFa primer: Bridging the human and data webs
B Adida, M Birbeck
Retrieved June 20, 2008, 2008
1062008
Ballot Casting Assurance.
B Adida, CA Neff
EVT 6, 7, 2006
1042006
Sessionlock: securing web sessions against eavesdropping
B Adida
Proceedings of the 17th international conference on World Wide Web, 517-524, 2008
892008
Sharing data for public health research by members of an international online diabetes social network
ER Weitzman, B Adida, S Kelemen, KD Mandl
PloS one 6 (4), e19256, 2011
882011
Beamauth: two-factor web authentication with a bookmark
B Adida
Proceedings of the 14th ACM conference on Computer and Communications …, 2007
852007
RDFa in XHTML: Syntax and Processing W3C Recommendation
B Adida
http://www. w3. org/TR/rdfa-syntax/, 2008
672008
RDFa primer
B Adida, M Birbeck
Bridging the Human and Data Webs, 2008
642008
Lightweight Encryption for Email.
B Adida, S Hohenberger, RL Rivest
SRUTI, 2005
632005
Robbing the bank with a theorem prover
P Youn, B Adida, M Bond, J Clulow, J Herzog, A Lin, RL Rivest, ...
University of Cambridge, Computer Laboratory, 2005
572005
An ever-evolving game: Evaluation of real-world attacks and defenses in ethereum ecosystem
S Zhou, M Möser, Z Yang, B Adida, T Holz, J Xiang, S Goldfeder, Y Cao, ...
29th USENIX Security Symposium (USENIX Security 20), 2793-2810, 2020
542020
The system can't perform the operation now. Try again later.
Articles 1–20