Cryptography Primer Session 6: Tools and Applications
This will be the sixth and final cryptography primer session exploring the basics of modern cryptography. In this session, we’ll explore some high-level tools that employ cryptographic techniques including zero-knowledge, secret sharing, and homomorphic encryption. We’ll then pull these tools together into the application of developing a verifiable election system wherein voters can check that their votes are properly counted without compromising their privacy.
Speaker Details
Josh Benaloh is Senior Cryptographer at Microsoft Research. He earned his S.B. degree at M.I.T. and M.S., M. Phil., and Ph.D. degrees at Yale University where his doctoral dissertation Verifiable Secret-Ballot Elections made the first substantive use of homomorphic encryption techniques and introduced a new paradigm for achieving election integrity. Josh serves as an elected director of the International Association for Cryptologic Research and an editor of the Journal of Election Technologies and Systems. He also serves on Microsoft’s Crypto Board and its PKI Working Group and in his copious spare time serves as Chair of Sound Transit’s Citizen Oversight Panel.
- Series:
- Microsoft Research Talks
- Date:
- Speakers:
- Josh Benaloh
- Affiliation:
- Microsoft
-
-
Josh Benaloh
Senior Cryptographer
-
Jeff Running
-
-
Series: Microsoft Research Talks
-
Decoding the Human Brain – A Neurosurgeon’s Experience
Speakers:- Pascal Zinn,
- Ivan Tashev
-
-
-
-
Galea: The Bridge Between Mixed Reality and Neurotechnology
Speakers:- Eva Esteban,
- Conor Russomanno
-
Current and Future Application of BCIs
Speakers:- Christoph Guger
-
Challenges in Evolving a Successful Database Product (SQL Server) to a Cloud Service (SQL Azure)
Speakers:- Hanuma Kodavalla,
- Phil Bernstein
-
Improving text prediction accuracy using neurophysiology
Speakers:- Sophia Mehdizadeh
-
-
DIABLo: a Deep Individual-Agnostic Binaural Localizer
Speakers:- Shoken Kaneko
-
-
Recent Efforts Towards Efficient And Scalable Neural Waveform Coding
Speakers:- Kai Zhen
-
-
Audio-based Toxic Language Detection
Speakers:- Midia Yousefi
-
-
From SqueezeNet to SqueezeBERT: Developing Efficient Deep Neural Networks
Speakers:- Sujeeth Bharadwaj
-
Hope Speech and Help Speech: Surfacing Positivity Amidst Hate
Speakers:- Monojit Choudhury
-
-
-
-
-
'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
Speakers:- Peter Clark
-
Checkpointing the Un-checkpointable: the Split-Process Approach for MPI and Formal Verification
Speakers:- Gene Cooperman
-
Learning Structured Models for Safe Robot Control
Speakers:- Ashish Kapoor
-