https://publications.bensmyth.com/2026-06-27 https://publications.bensmyth.com/influence-freedom-legitimacy/2026-06-28 https://publications.bensmyth.com/breaking-hardening-communication-security/2026-06-28 https://publications.bensmyth.com/reasoning/2026-06-28 https://publications.bensmyth.com/2024-annotated-biography/2026-06-25 https://publications.bensmyth.com/2025-implementing-Fiat-Shamir/2026-06-16 https://publications.bensmyth.com/2025-influence-freedom-legitimacy/2026-06-16 https://publications.bensmyth.com/2024-tally-then-decrypt/2026-06-16 https://publications.bensmyth.com/2010-ProVerif-manual-version-2.05/2026-06-27 https://publications.bensmyth.com/2022-sidestepping-arrow-impossibility/2026-06-16 https://publications.bensmyth.com/2022-surveying-election-verifiability/2026-06-26 https://publications.bensmyth.com/2014-election-verifiability/2026-06-16 https://publications.bensmyth.com/2015-ballot-secrecy/2026-06-16 https://publications.bensmyth.com/2021-cast-as-intended/2026-06-16 https://publications.bensmyth.com/2019-surveying-coercion-resistance/2026-06-16 https://publications.bensmyth.com/2019-surveying-global-verifiability/2026-06-16 https://publications.bensmyth.com/2020-mind-the-gap/2026-06-16 https://publications.bensmyth.com/2016-attacking-eligibility-in-Helios/2026-06-16 https://publications.bensmyth.com/2017-eUICC-overview/2026-06-16 https://publications.bensmyth.com/2018-ballot-secrecy-from-NM-CPA/2026-06-16 https://publications.bensmyth.com/2019-Athena-voting-system/2026-06-16 https://publications.bensmyth.com/2019-TLS-tutorial/2026-06-16 https://publications.bensmyth.com/2019-surveying-receipt-freeness/2026-06-16 https://publications.bensmyth.com/2010-ProVerif-manual-version-2.00/2026-06-16 https://publications.bensmyth.com/2015-election-to-auction-transform/2026-06-16 https://publications.bensmyth.com/2017-FPTP-suffices-for-ranked-voting/2026-06-16 https://publications.bensmyth.com/2017-attacks-against-eUICC/2026-06-16 https://publications.bensmyth.com/2017-secrecy-verifiability-elections-tutorial/2026-06-16 https://publications.bensmyth.com/2017-verifiability-Helios-mixnet/2026-06-16 https://publications.bensmyth.com/2017-verifying-observational-equivalence/2026-06-16 https://publications.bensmyth.com/2018-distance-bounding-protocols/2026-06-16 https://publications.bensmyth.com/2018-secrecy-verifiability-elections-tutorial/2026-06-16 https://publications.bensmyth.com/2018-voting-authentication/2026-06-16 https://publications.bensmyth.com/2017-caching-encrypted-content/2026-06-16 https://publications.bensmyth.com/2016-verifying-observational-equivalence/2026-06-16 https://publications.bensmyth.com/2012-Direct-Anonymous-Attestation-privacy-definition/2026-06-16 https://publications.bensmyth.com/2014-truncation-attacks-to-violate-beliefs/2026-06-16 https://publications.bensmyth.com/2015-automated-verification-of-secrecy-using-phases/2026-06-16 https://publications.bensmyth.com/2015-ciphertext-plus-proof-of-knowledge-is-NM-CPA/2026-06-16 https://publications.bensmyth.com/2014-Hawk-and-Aucitas-auction-schemes/2026-06-16 https://publications.bensmyth.com/2014-ballot-independence-for-election-schemes/2026-06-16 https://publications.bensmyth.com/2014-ballot-secrecy/2026-06-16 https://publications.bensmyth.com/2014-privacy-on-social-network-sites/2026-06-16 https://publications.bensmyth.com/2012-attacking-ballot-secrecy-in-Helios/2026-06-16 https://publications.bensmyth.com/2013-ballot-independence-for-election-schemes/2026-06-16 https://publications.bensmyth.com/2013-truncation-attacks-to-violate-beliefs/2026-06-16 https://publications.bensmyth.com/2012-ISPEC-proceedings/2026-06-16 https://publications.bensmyth.com/2012-further-ballot-secrecy-attacks-in-Helios/2026-06-16 https://publications.bensmyth.com/2012-internet-key-exchange/2026-06-16 https://publications.bensmyth.com/2010-ProVerif-manual-version-1.85/2026-06-16 https://publications.bensmyth.com/2011-Applied-pi-calculus/2026-06-16 https://publications.bensmyth.com/2011-PhD-thesis/2026-06-16 https://publications.bensmyth.com/2011-anonymity-definition-for-Direct-Anonymous-Attestation/2026-06-16 https://publications.bensmyth.com/2011-attacking-ballot-secrecy-in-Helios/2026-06-16 https://publications.bensmyth.com/2011-attacking-ballot-secrecy-in-electronic-voting/2026-06-16 https://publications.bensmyth.com/2011-provably-secure-variant-of-Helios/2026-06-16 https://publications.bensmyth.com/2010-towards-verifiability-definition-for-electronic-voting/2026-06-16 https://publications.bensmyth.com/2010-verifiability-definition-for-electronic-voting/2026-06-16 https://publications.bensmyth.com/2008-towards-verification-of-observational-equivalence/2026-06-16 https://publications.bensmyth.com/2007-attacking-anonymity-in-Direct-Anonymous-Attestation/2026-06-16 https://publications.bensmyth.com/2012-decentralised-voting-system/2026-06-16