Search for tag: "machine"

CITP Seminar: Juan Gilbert – Can Voters Detect Ballot Manipulations with a Transparent Voting Machine?

Touch-screen ballot-marking devices (BMDs) produce paper ballots that are counted by optical-scan voting machines and can be recounted by hand. If the BMD is hacked or misprogrammed so that it prints…

From  CI Center for Information Technology Policy on April 1st, 2021 0 likes 35 plays

Citadel End User Training

End-User Citadel Training Live zoom session recording from January 7, 2021

From  Irene Kopaliani on January 8th, 2021 0 likes 6 plays

Citadel Sub-Admin-Zoom

Sub-Admin and Admin Zoom Session Recording from January 5, 2021

From  Irene Kopaliani on January 6th, 2021 0 likes 6 plays

CITP Seminar: Raluca Ada Popa – Towards a Secure Collaborative Learning Platform

Co-sponsored by the Center for Statistics and Machine Learning. Multiple organizations often wish to aggregate their sensitive data and learn from it, but they cannot do so because they cannot share…

From  CI Center for Information Technology Policy on September 23rd, 2020 0 likes 33 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod on September 16th, 2020 0 likes 131 plays

cos326-2020-11-02-uncomputability

Uncomputability: What We Can't Compute

From  Daniel Macleod on August 16th, 2020 0 likes 102 plays

cos326-2020-10-02-von-neumann

How Ocaml Compiled to a Von Neumann Machine

From  Daniel Macleod on August 16th, 2020 0 likes 181 plays