Showing 1 - 10 results of 10 for search 'Verified Voting Foundation', query time: 0.07s Refine Results
  1. 1
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Foundation for Security -- Combining Domain-Specific and Foundational Logics to Verify Complete Software…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Towards Trustworthy Elections New Directions in Electronic Voting /
    Published 2010
    Table of Contents: “… Systems -- A Verifiable Voting Protocol Based on Farnel -- Verifying Privacy-Type Properties of Electronic…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures /
    Published 2014
    Table of Contents: “… Protocols in the Symbolic Model: The Verifier ProVerif.- Defensive JavaScript: Building and Verifying Secure…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows /
    Published 2019
    Table of Contents: “… of Security Protocols -- Belenios: A Simple Private and Verifiable Electronic Voting System.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
    Published 2017
    Table of Contents: “…-Aware Verified C Compiler Using Pointer as Integer Semantics -- Formal Verification of a Floating-Point…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Logic -- Analysing Vote Counting Algorithms via Logic: And Its Application to the CADE Election Scheme…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Information Security 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Devices -- Single Sign-On Using Trusted Platforms -- Public-Key Algorithms -- Easy Verifiable Primitives…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Security and Protection in Information Processing Systems IFIP 18th World Computer Congress TC11 19th International Information Security Conference 22–27 August 2004 Toulouse, France /
    Published 2004
    Table of Contents: “… Library for Cellular Phones, and its Application to Secure Electronic Voting -- Dependable Security…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Published 2015
    Table of Contents: “… and Verifying Smell-Free Architectures with the ARCHERY Language -- OntoLiFLOSS: Ontology for Learning Processes…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Aspects and Challenges -- Optimizing Winning Strategies in Regular Infinite Games -- Foundations…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search